控制器不存在:there-s-no-unmarried-formula-to-an-ideal-2