等価の意味も後続関数も知らんのか…