ゴールがequivalence（「=」）であるときの説明を追加した