Positive dimension

Positive dimension