Theories are cheap; proof is precious.