explain more about justifications for equalities, close #578
Merge pull request #579 from mikeshulman/justifications

explain more about justifications for equalities, close #578