Three degrees of validity

What does valid configuration share with facts and theorems?