174

The blurb Charlie sent looks good. I agree with Mike that this argument should be included in the discussion of 1or4 (the example in NKS). Then one can describe the dynamics in a little more detail by noting that 1or4 is "solid" at all times in the sense that it equals Exactly1 at the same time but "filled in," and that 174 at that time consists of the filled in region intersected with the checkerboard C.