Lifted Logic 10March23(Hawks)