Non-descriptive verdicts require determinate input conditions; indeterminacy at t undercuts this req...
This proposition has not been edited since the history system was added.