chaining equalities concatenates paths
add ac9b226 and 18642ca to errata
Merge pull request #400 from mikeshulman/chainingequalitiesagain

chaining equalities concatenates paths