[
G.Polya
]
Redundant
. See
CONDITION