(= (f) 42) !(z) !(f)