Add "topological operation identities".