https://nebo-lit.com/language/features/tautology.html