恒真式 (こうしんしき) — tautology | Kumi Dictionary