Lifted Logic 10.1