MrMind comments on (A → B) → A