The formula given in the title of the following caption is slightly misleading; what the text is describing is more like ((A→B)∧(¬A→B))→B.
throatbarrier - throatpies - tickling