Let <i>X</i> be a nonempty real variety that is invariant under the action of a reflection group <i>G</i>. We conjecture that if <i>X</i> is defined in terms of the first <i>k</i> basic invariants of <i>G</i> (ordered by degree), then <i>X</i> meets a <i>k</i>-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most ...