Click on PDF-Klickanleitung "Equivalence reasoning" to open the resource.