[Orb] semi-OT theories