Lifted Logic 9.2