Lifted Logic 23Feb23(4)