Describir: Nearly Frobenius theory and semisimplicity of bimodules.