Lifted Logic 10.4