紛らわしい言葉

• bind → bound ；縛る、綴る、束縛
• bound → bounded ；境界付ける、限定する

"unbounded bound variable" 非限定束縛変数なんて言葉が出てくる。

• consequent は後件で、含意の後半部。
• consequence は結果、帰着で、論理用語としては帰結
• conを取ると、sequent, sequence でこれも意味が違う。