Lifted Logic 11.1