The page where Emmanuel Goldstein himself guarantees to resolve any specific puzzles you have concerning the mismatch between English 'if' and the arrow functor. At least he will if you send him any cases to analyse...