Diffractor comments on (A → B) → A