A contigency is a formula that is neither a [[Tautology|tautology]] nor a [[Contradiction|contradiction]].