Thus, when one says that <running> must be valid (which it must, iff <intented> is valid), it is distinct from saying that the client's representation of <running> must be valid.