Knowing the Unproven