Lifted Logic 1