Lifted Logic O