implicitbox
This always declares an instance of Not
Not
This instance will only be found when there is no evidence of T
T