rephrased beginning Sec3.1