Re: [Orb] semi-OT theories