Lifted Logic 11.2