Lifted Logic 2-3-23(2)