without loss of generality