Tags: superfluous

Shrinking clauses