Hot-shot OT (via @isabelote)