G"′
slide: Equivalence