Functional equivalence requires comparison across all possible contexts, not just actual ones; unrea...
This proposition has not been edited since the history system was added.