In a new post, Ian Harvey points out that Note 3.7 is no longer true. We can now have 10 .op. p = x where 10 can be a label or a left operand. Bob Corbett