experiment with ==== for diagrams of identities, see #192