Lifted Logic 93