Lifted Logic 8.6