Claim: Ceres has yet to be discovered.
Label: REFUTES