If Q is not well-defined in a P-measurement situation, then Q cannot have a value, since lack of well-definedness was the reason to deny f(Q) a value.

(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