Lifted Logic 3.9.23