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.
Asian_Fever - Asian_O_faces - Asianpornin15seconds