diff --git a/README.md b/README.md
index 08266a9c..0b29acc7 100644
--- a/README.md
+++ b/README.md
@@ -179,13 +179,16 @@ Beware that setting the variable will overwrite any previously set directory. In
 
 ### Expected Output
 
+The demo will print a long terminal output of about 1250 lines.
+A copy of the expected output can be found in the [expected-output.txt](expected-output.txt).
+
 First, the demo prints unicode characters to terminal, as a test for you to see whether your terminal supports unicode.
 The first lines should look like this.
 
 ```
 It's dangerous to go alone! Take this unicode to see whether your terminal supports it:
   ₙ ₁ ₂ 𝕃 ℂ 𝔸 ⟦ ⟧ ⟨ ⟩ ❲❳
-... but now on to the demo.
+... but now on to the demo
 ```
 
 The actual demo will then print:
diff --git a/expected-output.txt b/expected-output.txt
new file mode 100644
index 00000000..ea0c7728
--- /dev/null
+++ b/expected-output.txt
@@ -0,0 +1,1260 @@
+It's dangerous to go alone! Take this unicode to see whether your terminal supports it:
+  ₙ ₁ ₂ 𝕃 ℂ 𝔸 ⟦ ⟧ ⟨ ⟩ ❲❳                                                                                                
+... but now on to the demo.                                                                                             
+                                                                                                                        
+                                                                                                                        
+          ╭──────────────────────────────── Experiment: Translate OC to 2CC ─────────────────────────────────╮          
+          │                                                                                                  │          
+          │  ╭────────────────────────────────────── Example: unary ──────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │                                         r-<O❲a❳>-                                          │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                        ╭─────────╮                                         │  │          
+          │  │                                        │  O⟨     │                                         │  │          
+          │  │                                        │    r-<  │                                         │  │          
+          │  │                                        │      a  │                                         │  │          
+          │  │                                        │    >-,  │                                         │  │          
+          │  │                                        │    r    │                                         │  │          
+          │  │                                        │  ⟩      │                                         │  │          
+          │  │                                        ╰─────────╯                                         │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ eliminate redundancy                         │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                        ╭─────────╮                                         │  │          
+          │  │                                        │  O⟨     │                                         │  │          
+          │  │                                        │    r-<  │                                         │  │          
+          │  │                                        │      a  │                                         │  │          
+          │  │                                        │    >-,  │                                         │  │          
+          │  │                                        │    r    │                                         │  │          
+          │  │                                        │  ⟩      │                                         │  │          
+          │  │                                        ╰─────────╯                                         │  │          
+          │  │                                                                                            │  │          
+          │  │  Variants:                                                                                 │  │          
+          │  │    ⟦ unary ⟧ all-yes = r-<a>-                                                              │  │          
+          │  │    ⟦ unary ⟧ all-no  = r                                                                   │  │          
+          │  │  proven to be the same for the translated expression                                       │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭────────────────────────────────────── Example: lock ───────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │       void f() {-<int bobedi = 3;, Lock❲lock();❳, magic(bobedi);, Lock❲unlock();❳>-        │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                ╭──────────────────────────╮                                │  │          
+          │  │                                │  Lock⟨                   │                                │  │          
+          │  │                                │    Lock⟨                 │                                │  │          
+          │  │                                │      void f() {-<        │                                │  │          
+          │  │                                │        int bobedi = 3;,  │                                │  │          
+          │  │                                │        lock();,          │                                │  │          
+          │  │                                │        magic(bobedi);,   │                                │  │          
+          │  │                                │        unlock();         │                                │  │          
+          │  │                                │      >-,                 │                                │  │          
+          │  │                                │      void f() {-<        │                                │  │          
+          │  │                                │        int bobedi = 3;,  │                                │  │          
+          │  │                                │        lock();,          │                                │  │          
+          │  │                                │        magic(bobedi);    │                                │  │          
+          │  │                                │      >-                  │                                │  │          
+          │  │                                │    ⟩,                    │                                │  │          
+          │  │                                │    Lock⟨                 │                                │  │          
+          │  │                                │      void f() {-<        │                                │  │          
+          │  │                                │        int bobedi = 3;,  │                                │  │          
+          │  │                                │        magic(bobedi);,   │                                │  │          
+          │  │                                │        unlock();         │                                │  │          
+          │  │                                │      >-,                 │                                │  │          
+          │  │                                │      void f() {-<        │                                │  │          
+          │  │                                │        int bobedi = 3;,  │                                │  │          
+          │  │                                │        magic(bobedi);    │                                │  │          
+          │  │                                │      >-                  │                                │  │          
+          │  │                                │    ⟩                     │                                │  │          
+          │  │                                │  ⟩                       │                                │  │          
+          │  │                                ╰──────────────────────────╯                                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ eliminate redundancy                         │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                 ╭────────────────────────╮                                 │  │          
+          │  │                                 │  Lock⟨                 │                                 │  │          
+          │  │                                 │    void f() {-<        │                                 │  │          
+          │  │                                 │      int bobedi = 3;,  │                                 │  │          
+          │  │                                 │      lock();,          │                                 │  │          
+          │  │                                 │      magic(bobedi);,   │                                 │  │          
+          │  │                                 │      unlock();         │                                 │  │          
+          │  │                                 │    >-,                 │                                 │  │          
+          │  │                                 │    void f() {-<        │                                 │  │          
+          │  │                                 │      int bobedi = 3;,  │                                 │  │          
+          │  │                                 │      magic(bobedi);    │                                 │  │          
+          │  │                                 │    >-                  │                                 │  │          
+          │  │                                 │  ⟩                     │                                 │  │          
+          │  │                                 ╰────────────────────────╯                                 │  │          
+          │  │                                                                                            │  │          
+          │  │  Variants:                                                                                 │  │          
+          │  │    ⟦ lock ⟧ all-yes = void f() {-<int bobedi = 3;, lock();, magic(bobedi);, unlock();>-    │  │          
+          │  │    ⟦ lock ⟧ all-no  = void f() {-<int bobedi = 3;, magic(bobedi);>-                        │  │          
+          │  │  proven to be the same for the translated expression                                       │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭──────────────────────────────────── Example: sandwich ─────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │               Buns-<Tomato?❲tomato❳, Salad?❲salad❳, Cheese?❲cheese❳, Mayo>-                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                   ╭───────────────────╮                                    │  │          
+          │  │                                   │  Tomato?⟨         │                                    │  │          
+          │  │                                   │    Salad?⟨        │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩,           │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩            │                                    │  │          
+          │  │                                   │    ⟩,             │                                    │  │          
+          │  │                                   │    Salad?⟨        │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩,           │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩            │                                    │  │          
+          │  │                                   │    ⟩              │                                    │  │          
+          │  │                                   │  ⟩                │                                    │  │          
+          │  │                                   ╰───────────────────╯                                    │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ eliminate redundancy                         │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                   ╭───────────────────╮                                    │  │          
+          │  │                                   │  Tomato?⟨         │                                    │  │          
+          │  │                                   │    Salad?⟨        │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩,           │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          tomato,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩            │                                    │  │          
+          │  │                                   │    ⟩,             │                                    │  │          
+          │  │                                   │    Salad?⟨        │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          salad,   │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩,           │                                    │  │          
+          │  │                                   │      Cheese?⟨     │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          cheese,  │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-,        │                                    │  │          
+          │  │                                   │        Buns-<     │                                    │  │          
+          │  │                                   │          Mayo     │                                    │  │          
+          │  │                                   │        >-         │                                    │  │          
+          │  │                                   │      ⟩            │                                    │  │          
+          │  │                                   │    ⟩              │                                    │  │          
+          │  │                                   │  ⟩                │                                    │  │          
+          │  │                                   ╰───────────────────╯                                    │  │          
+          │  │                                                                                            │  │          
+          │  │  Variants:                                                                                 │  │          
+          │  │    ⟦ sandwich ⟧ all-yes = Buns-<tomato, salad, cheese, Mayo>-                              │  │          
+          │  │    ⟦ sandwich ⟧ all-no  = Buns-<Mayo>-                                                     │  │          
+          │  │  proven to be the same for the translated expression                                       │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭────────────────────────────────────── Example: deep ───────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │                                    A-<B-<C-<O❲hi❳>->->-                                    │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                      ╭──────────────╮                                      │  │          
+          │  │                                      │  A-<         │                                      │  │          
+          │  │                                      │    B-<       │                                      │  │          
+          │  │                                      │      O⟨      │                                      │  │          
+          │  │                                      │        C-<   │                                      │  │          
+          │  │                                      │          hi  │                                      │  │          
+          │  │                                      │        >-,   │                                      │  │          
+          │  │                                      │        C     │                                      │  │          
+          │  │                                      │      ⟩       │                                      │  │          
+          │  │                                      │    >-        │                                      │  │          
+          │  │                                      │  >-          │                                      │  │          
+          │  │                                      ╰──────────────╯                                      │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ eliminate redundancy                         │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                      ╭──────────────╮                                      │  │          
+          │  │                                      │  A-<         │                                      │  │          
+          │  │                                      │    B-<       │                                      │  │          
+          │  │                                      │      O⟨      │                                      │  │          
+          │  │                                      │        C-<   │                                      │  │          
+          │  │                                      │          hi  │                                      │  │          
+          │  │                                      │        >-,   │                                      │  │          
+          │  │                                      │        C     │                                      │  │          
+          │  │                                      │      ⟩       │                                      │  │          
+          │  │                                      │    >-        │                                      │  │          
+          │  │                                      │  >-          │                                      │  │          
+          │  │                                      ╰──────────────╯                                      │  │          
+          │  │                                                                                            │  │          
+          │  │  Variants:                                                                                 │  │          
+          │  │    ⟦ deep ⟧ all-yes = A-<B-<C-<hi>->->-                                                    │  │          
+          │  │    ⟦ deep ⟧ all-no  = A-<B-<C>->-                                                          │  │          
+          │  │  proven to be the same for the translated expression                                       │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          ╰──────────────────────────────────────────────────────────────────────────────────────────────────╯          
+                                                                                                                        
+          ╭─────────────────────────────── Experiment: Configure FST example ────────────────────────────────╮          
+          │                                                                                                  │          
+          │  ╭───────────────────────────────────── Example: add-sub ─────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │  Expression e has features                                                                 │  │          
+          │  │    Add ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method add(int,int)                                                                 │  │          
+          │  │          return x + y;                                                                     │  │          
+          │  │    Sub ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method sub(int,int)                                                                 │  │          
+          │  │          return x - y;                                                                     │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Add ↦ true, Sub ↦ true } =                                                        │  │          
+          │  │    package-<class Calculator-<method add(int,int)-<return x + y;>-, method sub(int,int)-<  │  │          
+          │  │  return x - y;>->->-                                                                       │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Add ↦ true, Sub ↦ false } =                                                       │  │          
+          │  │    package-<class Calculator-<method add(int,int)-<return x + y;>->->-                     │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭───────────────────────────────────── Example: sub-add ─────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │  Expression e has features                                                                 │  │          
+          │  │    Sub ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method sub(int,int)                                                                 │  │          
+          │  │          return x - y;                                                                     │  │          
+          │  │    Add ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method add(int,int)                                                                 │  │          
+          │  │          return x + y;                                                                     │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Sub ↦ true, Add ↦ true } =                                                        │  │          
+          │  │    package-<class Calculator-<method sub(int,int)-<return x - y;>-, method add(int,int)-<  │  │          
+          │  │  return x + y;>->->-                                                                       │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Sub ↦ false, Add ↦ true } =                                                       │  │          
+          │  │    package-<class Calculator-<method add(int,int)-<return x + y;>->->-                     │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭───────────────────────────────────── Example: add-sub ─────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │  Expression e has features                                                                 │  │          
+          │  │    Add ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method add(int,int)                                                                 │  │          
+          │  │          return x + y;                                                                     │  │          
+          │  │    Sub ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method sub(int,int)                                                                 │  │          
+          │  │          return x - y;                                                                     │  │          
+          │  │    Log ∷                                                                                   │  │          
+          │  │      class Calculator                                                                      │  │          
+          │  │        method add(int,int)                                                                 │  │          
+          │  │          log(x + ", " + y);                                                                │  │          
+          │  │        method sub(int,int)                                                                 │  │          
+          │  │          log(x + ", " + y);                                                                │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Add ↦ true, Sub ↦ true, Log ↦ true } =                                            │  │          
+          │  │    package-<class Calculator-<method add(int,int)-<return x + y;, log(x + ", " + y);>-, m  │  │          
+          │  │  ethod sub(int,int)-<return x - y;, log(x + ", " + y);>->->-                               │  │          
+          │  │                                                                                            │  │          
+          │  │  ⟦ e ⟧ { Add ↦ true, Sub ↦ false, Log ↦ false } =                                          │  │          
+          │  │    package-<class Calculator-<method add(int,int)-<return x + y;>->->-                     │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          ╰──────────────────────────────────────────────────────────────────────────────────────────────────╯          
+                                                                                                                        
+          ╭─── Experiment: Translate CCC in one round-trip into equally expressive variability languages ────╮          
+          │                                                                                                  │          
+          │  ╭───────────────────────────────────── Example: trivial ─────────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │                                  CCC, original expression                                  │  │          
+          │  │                                         ╭────────╮                                         │  │          
+          │  │                                         │  D⟨    │                                         │  │          
+          │  │                                         │    l,  │                                         │  │          
+          │  │                                         │    r   │                                         │  │          
+          │  │                                         │  ⟩     │                                         │  │          
+          │  │                                         ╰────────╯                                         │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            NCC                                             │  │          
+          │  │                                         ╭────────╮                                         │  │          
+          │  │                                         │  D⟨    │                                         │  │          
+          │  │                                         │    l,  │                                         │  │          
+          │  │                                         │    r   │                                         │  │          
+          │  │                                         │  ⟩     │                                         │  │          
+          │  │                                         ╰────────╯                                         │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            NCC                                             │  │          
+          │  │                                         ╭────────╮                                         │  │          
+          │  │                                         │  0.D⟨  │                                         │  │          
+          │  │                                         │    l,  │                                         │  │          
+          │  │                                         │    r   │                                         │  │          
+          │  │                                         │  ⟩     │                                         │  │          
+          │  │                                         ╰────────╯                                         │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            2CC                                             │  │          
+          │  │                                         ╭────────╮                                         │  │          
+          │  │                                         │  0.D⟨  │                                         │  │          
+          │  │                                         │    l,  │                                         │  │          
+          │  │                                         │    r   │                                         │  │          
+          │  │                                         │  ⟩     │                                         │  │          
+          │  │                                         ╰────────╯                                         │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            ADT                                             │  │          
+          │  │                                         ╭────────╮                                         │  │          
+          │  │                                         │  0.D⟨  │                                         │  │          
+          │  │                                         │    l,  │                                         │  │          
+          │  │                                         │    r   │                                         │  │          
+          │  │                                         │  ⟩     │                                         │  │          
+          │  │                                         ╰────────╯                                         │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                        VariantList                                         │  │          
+          │  │                                         ╭───────╮                                          │  │          
+          │  │                                         │  [ l  │                                          │  │          
+          │  │                                         │  , r  │                                          │  │          
+          │  │                                         │  ]    │                                          │  │          
+          │  │                                         ╰───────╯                                          │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            CCC                                             │  │          
+          │  │                                   ╭────────────────────╮                                   │  │          
+          │  │                                   │  default feature⟨  │                                   │  │          
+          │  │                                   │    l,              │                                   │  │          
+          │  │                                   │    r               │                                   │  │          
+          │  │                                   │  ⟩                 │                                   │  │          
+          │  │                                   ╰────────────────────╯                                   │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          │                                                                                                  │          
+          │  ╭───────────────────────────────── Example: Sandwich Recipe ─────────────────────────────────╮  │          
+          │  │                                                                                            │  │          
+          │  │                                  CCC, original expression                                  │  │          
+          │  │                                   ╭────────────────────╮                                   │  │          
+          │  │                                   │  Bread-<           │                                   │  │          
+          │  │                                   │    Salad?⟨         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    ⟩,              │                                   │  │          
+          │  │                                   │    cheese,         │                                   │  │          
+          │  │                                   │    Patty?⟨         │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      tofu          │                                   │  │          
+          │  │                                   │    ⟩,              │                                   │  │          
+          │  │                                   │    Sauce?⟨         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      mayo,         │                                   │  │          
+          │  │                                   │      ketchup,      │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    ⟩               │                                   │  │          
+          │  │                                   │  >-                │                                   │  │          
+          │  │                                   ╰────────────────────╯                                   │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            NCC                                             │  │          
+          │  │                                   ╭────────────────────╮                                   │  │          
+          │  │                                   │  Bread-<           │                                   │  │          
+          │  │                                   │    Salad?⟨         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    ⟩,              │                                   │  │          
+          │  │                                   │    cheese,         │                                   │  │          
+          │  │                                   │    Patty?⟨         │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      tofu          │                                   │  │          
+          │  │                                   │    ⟩,              │                                   │  │          
+          │  │                                   │    Sauce?⟨         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      mayo,         │                                   │  │          
+          │  │                                   │      ketchup,      │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    ⟩               │                                   │  │          
+          │  │                                   │  >-                │                                   │  │          
+          │  │                                   ╰────────────────────╯                                   │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            NCC                                             │  │          
+          │  │                                 ╭────────────────────────╮                                 │  │          
+          │  │                                 │  Bread-<               │                                 │  │          
+          │  │                                 │    0.Salad?⟨           │                                 │  │          
+          │  │                                 │      salad,            │                                 │  │          
+          │  │                                 │      1.Salad?⟨         │                                 │  │          
+          │  │                                 │        ε,              │                                 │  │          
+          │  │                                 │        2.Salad?⟨       │                                 │  │          
+          │  │                                 │          ε,            │                                 │  │          
+          │  │                                 │          ε             │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩,                  │                                 │  │          
+          │  │                                 │    cheese,             │                                 │  │          
+          │  │                                 │    0.Patty?⟨           │                                 │  │          
+          │  │                                 │      meat,             │                                 │  │          
+          │  │                                 │      1.Patty?⟨         │                                 │  │          
+          │  │                                 │        tofu,           │                                 │  │          
+          │  │                                 │        2.Patty?⟨       │                                 │  │          
+          │  │                                 │          tofu,         │                                 │  │          
+          │  │                                 │          tofu          │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩,                  │                                 │  │          
+          │  │                                 │    0.Sauce?⟨           │                                 │  │          
+          │  │                                 │      ε,                │                                 │  │          
+          │  │                                 │      1.Sauce?⟨         │                                 │  │          
+          │  │                                 │        mayo,           │                                 │  │          
+          │  │                                 │        2.Sauce?⟨       │                                 │  │          
+          │  │                                 │          ketchup,      │                                 │  │          
+          │  │                                 │          mayo+ketchup  │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩                   │                                 │  │          
+          │  │                                 │  >-                    │                                 │  │          
+          │  │                                 ╰────────────────────────╯                                 │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            2CC                                             │  │          
+          │  │                                 ╭────────────────────────╮                                 │  │          
+          │  │                                 │  Bread-<               │                                 │  │          
+          │  │                                 │    0.Salad?⟨           │                                 │  │          
+          │  │                                 │      salad,            │                                 │  │          
+          │  │                                 │      1.Salad?⟨         │                                 │  │          
+          │  │                                 │        ε,              │                                 │  │          
+          │  │                                 │        2.Salad?⟨       │                                 │  │          
+          │  │                                 │          ε,            │                                 │  │          
+          │  │                                 │          ε             │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩,                  │                                 │  │          
+          │  │                                 │    cheese,             │                                 │  │          
+          │  │                                 │    0.Patty?⟨           │                                 │  │          
+          │  │                                 │      meat,             │                                 │  │          
+          │  │                                 │      1.Patty?⟨         │                                 │  │          
+          │  │                                 │        tofu,           │                                 │  │          
+          │  │                                 │        2.Patty?⟨       │                                 │  │          
+          │  │                                 │          tofu,         │                                 │  │          
+          │  │                                 │          tofu          │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩,                  │                                 │  │          
+          │  │                                 │    0.Sauce?⟨           │                                 │  │          
+          │  │                                 │      ε,                │                                 │  │          
+          │  │                                 │      1.Sauce?⟨         │                                 │  │          
+          │  │                                 │        mayo,           │                                 │  │          
+          │  │                                 │        2.Sauce?⟨       │                                 │  │          
+          │  │                                 │          ketchup,      │                                 │  │          
+          │  │                                 │          mayo+ketchup  │                                 │  │          
+          │  │                                 │        ⟩               │                                 │  │          
+          │  │                                 │      ⟩                 │                                 │  │          
+          │  │                                 │    ⟩                   │                                 │  │          
+          │  │                                 │  >-                    │                                 │  │          
+          │  │                                 ╰────────────────────────╯                                 │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            ADT                                             │  │          
+          │  │               ╭────────────────────────────────────────────────────────────╮               │  │          
+          │  │               │  0.Salad?⟨                                                 │               │  │          
+          │  │               │    0.Patty?⟨                                               │               │  │          
+          │  │               │      0.Sauce?⟨                                             │               │  │          
+          │  │               │        Bread-<salad, cheese, meat, ε>-,                    │               │  │          
+          │  │               │        1.Sauce?⟨                                           │               │  │          
+          │  │               │          Bread-<salad, cheese, meat, mayo>-,               │               │  │          
+          │  │               │          2.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<salad, cheese, meat, ketchup>-,          │               │  │          
+          │  │               │            Bread-<salad, cheese, meat, mayo+ketchup>-      │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩                                                   │               │  │          
+          │  │               │      ⟩,                                                    │               │  │          
+          │  │               │      1.Patty?⟨                                             │               │  │          
+          │  │               │        0.Sauce?⟨                                           │               │  │          
+          │  │               │          Bread-<salad, cheese, tofu, ε>-,                  │               │  │          
+          │  │               │          1.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<salad, cheese, tofu, mayo>-,             │               │  │          
+          │  │               │            2.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<salad, cheese, tofu, ketchup>-,        │               │  │          
+          │  │               │              Bread-<salad, cheese, tofu, mayo+ketchup>-    │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩,                                                  │               │  │          
+          │  │               │        2.Patty?⟨                                           │               │  │          
+          │  │               │          0.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<salad, cheese, tofu, ε>-,                │               │  │          
+          │  │               │            1.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<salad, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │              2.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<salad, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                Bread-<salad, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩,                                                │               │  │          
+          │  │               │          0.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<salad, cheese, tofu, ε>-,                │               │  │          
+          │  │               │            1.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<salad, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │              2.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<salad, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                Bread-<salad, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩                                                   │               │  │          
+          │  │               │      ⟩                                                     │               │  │          
+          │  │               │    ⟩,                                                      │               │  │          
+          │  │               │    1.Salad?⟨                                               │               │  │          
+          │  │               │      0.Patty?⟨                                             │               │  │          
+          │  │               │        0.Sauce?⟨                                           │               │  │          
+          │  │               │          Bread-<ε, cheese, meat, ε>-,                      │               │  │          
+          │  │               │          1.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<ε, cheese, meat, mayo>-,                 │               │  │          
+          │  │               │            2.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, meat, ketchup>-,            │               │  │          
+          │  │               │              Bread-<ε, cheese, meat, mayo+ketchup>-        │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩,                                                  │               │  │          
+          │  │               │        1.Patty?⟨                                           │               │  │          
+          │  │               │          0.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<ε, cheese, tofu, ε>-,                    │               │  │          
+          │  │               │            1.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, tofu, mayo>-,               │               │  │          
+          │  │               │              2.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, ketchup>-,          │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, mayo+ketchup>-      │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩,                                                │               │  │          
+          │  │               │          2.Patty?⟨                                         │               │  │          
+          │  │               │            0.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, tofu, ε>-,                  │               │  │          
+          │  │               │              1.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, mayo>-,             │               │  │          
+          │  │               │                2.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, ketchup>-,        │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo+ketchup>-    │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩,                                              │               │  │          
+          │  │               │            0.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, tofu, ε>-,                  │               │  │          
+          │  │               │              1.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, mayo>-,             │               │  │          
+          │  │               │                2.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, ketchup>-,        │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo+ketchup>-    │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩                                                   │               │  │          
+          │  │               │      ⟩,                                                    │               │  │          
+          │  │               │      2.Salad?⟨                                             │               │  │          
+          │  │               │        0.Patty?⟨                                           │               │  │          
+          │  │               │          0.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<ε, cheese, meat, ε>-,                    │               │  │          
+          │  │               │            1.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, meat, mayo>-,               │               │  │          
+          │  │               │              2.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, meat, ketchup>-,          │               │  │          
+          │  │               │                Bread-<ε, cheese, meat, mayo+ketchup>-      │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩,                                                │               │  │          
+          │  │               │          1.Patty?⟨                                         │               │  │          
+          │  │               │            0.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, tofu, ε>-,                  │               │  │          
+          │  │               │              1.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, mayo>-,             │               │  │          
+          │  │               │                2.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, ketchup>-,        │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo+ketchup>-    │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩,                                              │               │  │          
+          │  │               │            2.Patty?⟨                                       │               │  │          
+          │  │               │              0.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, ε>-,                │               │  │          
+          │  │               │                1.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │                  2.Sauce?⟨                                 │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │                  ⟩                                         │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩,                                            │               │  │          
+          │  │               │              0.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, ε>-,                │               │  │          
+          │  │               │                1.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │                  2.Sauce?⟨                                 │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │                  ⟩                                         │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩,                                                  │               │  │          
+          │  │               │        0.Patty?⟨                                           │               │  │          
+          │  │               │          0.Sauce?⟨                                         │               │  │          
+          │  │               │            Bread-<ε, cheese, meat, ε>-,                    │               │  │          
+          │  │               │            1.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, meat, mayo>-,               │               │  │          
+          │  │               │              2.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, meat, ketchup>-,          │               │  │          
+          │  │               │                Bread-<ε, cheese, meat, mayo+ketchup>-      │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩,                                                │               │  │          
+          │  │               │          1.Patty?⟨                                         │               │  │          
+          │  │               │            0.Sauce?⟨                                       │               │  │          
+          │  │               │              Bread-<ε, cheese, tofu, ε>-,                  │               │  │          
+          │  │               │              1.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, mayo>-,             │               │  │          
+          │  │               │                2.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, ketchup>-,        │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo+ketchup>-    │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩,                                              │               │  │          
+          │  │               │            2.Patty?⟨                                       │               │  │          
+          │  │               │              0.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, ε>-,                │               │  │          
+          │  │               │                1.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │                  2.Sauce?⟨                                 │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │                  ⟩                                         │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩,                                            │               │  │          
+          │  │               │              0.Sauce?⟨                                     │               │  │          
+          │  │               │                Bread-<ε, cheese, tofu, ε>-,                │               │  │          
+          │  │               │                1.Sauce?⟨                                   │               │  │          
+          │  │               │                  Bread-<ε, cheese, tofu, mayo>-,           │               │  │          
+          │  │               │                  2.Sauce?⟨                                 │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, ketchup>-,      │               │  │          
+          │  │               │                    Bread-<ε, cheese, tofu, mayo+ketchup>-  │               │  │          
+          │  │               │                  ⟩                                         │               │  │          
+          │  │               │                ⟩                                           │               │  │          
+          │  │               │              ⟩                                             │               │  │          
+          │  │               │            ⟩                                               │               │  │          
+          │  │               │          ⟩                                                 │               │  │          
+          │  │               │        ⟩                                                   │               │  │          
+          │  │               │      ⟩                                                     │               │  │          
+          │  │               │    ⟩                                                       │               │  │          
+          │  │               │  ⟩                                                         │               │  │          
+          │  │               ╰────────────────────────────────────────────────────────────╯               │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                        VariantList                                         │  │          
+          │  │                     ╭────────────────────────────────────────────────╮                     │  │          
+          │  │                     │  [ Bread-<salad, cheese, meat, ε>-             │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, meat, mayo>-          │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, meat, ketchup>-       │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, meat, mayo+ketchup>-  │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ε>-             │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo>-          │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ketchup>-       │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo+ketchup>-  │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ε>-             │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo>-          │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ketchup>-       │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo+ketchup>-  │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ε>-             │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo>-          │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, ketchup>-       │                     │  │          
+          │  │                     │  , Bread-<salad, cheese, tofu, mayo+ketchup>-  │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, meat, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ε>-                 │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo>-              │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, ketchup>-           │                     │  │          
+          │  │                     │  , Bread-<ε, cheese, tofu, mayo+ketchup>-      │                     │  │          
+          │  │                     │  ]                                             │                     │  │          
+          │  │                     ╰────────────────────────────────────────────────╯                     │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                             │                                              │  │          
+          │  │                                             │ translate                                    │  │          
+          │  │                                             ↓                                              │  │          
+          │  │                                                                                            │  │          
+          │  │                                            CCC                                             │  │          
+          │  │                                   ╭────────────────────╮                                   │  │          
+          │  │                                   │  default feature⟨  │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      salad,        │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      meat,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ε             │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo          │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      ketchup       │                                   │  │          
+          │  │                                   │    >-,             │                                   │  │          
+          │  │                                   │    Bread-<         │                                   │  │          
+          │  │                                   │      ε,            │                                   │  │          
+          │  │                                   │      cheese,       │                                   │  │          
+          │  │                                   │      tofu,         │                                   │  │          
+          │  │                                   │      mayo+ketchup  │                                   │  │          
+          │  │                                   │    >-              │                                   │  │          
+          │  │                                   │  ⟩                 │                                   │  │          
+          │  │                                   ╰────────────────────╯                                   │  │          
+          │  │                proven to have the same semantics as the previous expression                │  │          
+          │  │                                                                                            │  │          
+          │  │                                                                                            │  │          
+          │  ╰────────────────────────────────────────────────────────────────────────────────────────────╯  │          
+          │                                                                                                  │          
+          ╰──────────────────────────────────────────────────────────────────────────────────────────────────╯          
+