公理

1. ストレートペアのスライディング＝交替律
2. ベントのニョロニョロ引き伸ばし公理
3. ベントのフリッピング公理（定義とするのもアリ）
4. ベントのアンバンドル公式
5. クロスの自己可逆性
6. クロスのアンバンドル公式
7. クロスのスライディング公式

• ヤンキングは、フリップ＋クロスのスライディング（擦り抜け公式）＋ニョロニョロ から出る。
• ヤン／バクスターは、クロスのスライディング（擦り抜け公式）から出る。
• Ψ移動は、クロスの自己可逆性＋クロスのスライディングから出る。
• ベントのスライディング公式（双対性）は、定義とニョロニョロから出る。
• クロスオーバーはクロスのスライディング（擦り抜け公式）から出る。
• クロスの双対公式は、タンコブ公式＋クロスの自己可逆性＋ニョロニョロ から出る。