Missing equalities in Names-like structures.