Lifted Logic 9.1