The Probable and the Provable