Lifted Logic 2.20.23 pt2