NO DOGMA (Explicit)

PROOF (Explicit)