Definition:WLOG