WLOG, or the misery of the unordered pair (EWD1223)

The above describes what WLOG (= Without Loss Of Generality) is usually about. In principle—as shown above—the technique is perfectly sound, but the problem is that in practice it is only too often appealed to by the mere “WLOG we can assume r.xn” without formulating, let alone proving (5)