Faliure (Explicit)

Consistency (Explicit)