A [[Proposition]] that is always [[Truth Value|True]] (opposite of [[Contradiction]].