G"′
slide
:
Equivalence