WLOG follows