big cat means big x; {x ∈ R}