Large expression (tautology)