Vocabulary
恒真式
こうしんしき
tautology
noun