WLOG (Without Loss of Generality)
Categories