bind2 (>>>) の定義を見直す。obligation の証明が不要になった。