Lifted Logic defense