logic + OT