Snippet #1 (#200)Jonathan Frech, 14 July 2018-=-Since and thus is common abuse of notation, I propose this formal identity.