ここでは、絵〈ストリング図〉は同値類を取る前の表示〈実装〉そのものだとみなします。(丸)を上に述べた方法で分解します。エンコーダーとみなして、曲がった残余ワイヤーに沿って逆行パート側にスライドします。デコーダーになります。ピンクの丸をgetパート、水色の四角をputパートとすると、これは具象レンズ表示になります。具象オプティック表示」という同値な(同値類を変えない)変形ができることがわかりました。