trivial index fixes
introduce the phrase "propositionally equal"