Ambiguity in notation risks scope confusion and makes logical structure less transparent than using ...
This proposition has not been edited since the history system was added.