Lifted Logic 07March23(1)