1: \begin{abstract}

2: We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact 

3: CAT(0) cube 

4: complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every 

5: quarterspace contains a halfspace.  In aid of this, we present simplified proofs of known results about 

6: loxodromic isometries of the contact graph, avoiding the use of disc diagrams.

7: 

8: This paper has an expository element; in particular, we collect results about cube complexes 

9: proved by combining Ramsey's theorem and Dilworth's theorem.  We illustrate the use of these tricks with a 

10: discussion of the Tits alternative for cubical groups, and ask some questions about ``quantifying'' statements 

11: related to rank-rigidity and the Tits alternative.

12: \end{abstract}

13: