Example 1.
The Four Prolations with minim equivalence