LIFT FROM LOGIC