Consistency (Explicit)

The Prototype(Intro)