Lifted Logic 18.4