Proven and Unproven Beliefs