Lifted Logic Eh-11-24