= and assume that 8 is smooth in the following sense.