Ambiguity about reduction types permitted ad-hoc reasoning and hindered reproducibility—problems tha...
This proposition has not been edited since the history system was added.