ペースティングの方法

例：

 Create A, B, C, D
 Create f:A->B, g:B->C, h:A->C, k:C->D, j:B->D
 Create α:: f*g => h : A->C
 Create β:: j => g*k : B->D

βにヒゲ結合で、fを付ける。

• f*β:: f*j => f*g*k

f*βのターゲットの右部分 f*g と αのソース全体 f*g が一致する。

• βの境界の部分f*gとαの境界の全体f*gが一致する。小さな全体境界を持つαに対してヒゲ結合で自動補完が起きる。
• ヒゲ補完をした後で、主結合で結合する。

ペーストする側とされる側に分けて考えたほうがいい。能動的にペーストする側は、ヒゲを伸ばして、相手を飲み込むに十分なだけ境界を広げる。境界が相手の境界を含む形になれば、ペーストできる。必要があれば、ヒゲを両側に伸ばす。