Our key comment is that 1.9 and 1.10 together imply the need to