Text this: Semi-simplicity of a proper weak H*-algebra