Genau dann wenn, Dann und nur dann, Äquivalenz SoSe 2017