The position must concede that the system has a value v(Q) in a Q-measurement situation and a possibly different value v′(Q) in a P-measurement situation.

(a) We might think that v(f(Q)) just is not a self-sustained physical property, but one which ontologically depends on the presence of another property v(Q). (Recall that in the proof of FUNC v(f(Q)) is constructed from v(Q).) But, since the position does not reject questions about values of f(Q) in a P-measurement situation as illegitimate (because it does not trade on a notion of an observable being well-defined in one context only!), this seems to lead to new and pressing questions, to say t