なぜreturnとbindを持つ任意の文脈に適用できるかの理由が書かれてないから、「つまり」でつないでも納得感がない。