tpCache_alias.gold

Lemma: nameA                            Q.E.D.
Lemma: nameB                            Q.E.D.
Cached: nameC                           Q.E.D. (a.k.a. nameA, nameB)