// (•) represents the existence functor.
// (¡) represent the anti-operator.
--- From here ghosting the front existance operator and the metatuple ---
// v(¡) denotes Type, which is Value of the anti operator
// Therefore T0 is "value" of anti-operator,
// which is boolean `not`. The value of anti-operator: v(¡) is a generator,
// to the boolean logic, that is T1, which contains two object of same type,
// but not the same, which are simply two values. #true #false
// which are denoted in the step by [•!]