WLOG

Ramblings of a mathematician.