O'Sullivan's first law