Context-dependence is ubiquitous in formal systems. Requiring v'(f(Q)) = v(f(Q)) imposes an artifici...
This proposition has not been edited since the history system was added.