Standard substitutional invariance principle demands arguments remain valid across all domain interp...
This proposition has not been edited since the history system was added.