KONTRADICTION (Explicit)

UPSTATE (Explicit)