ParentFull threadbabeKnuth·Modus tollens at its best.'"For example", does not a proof make.' - sorry, can't recall the authorView on HN