1: \begin{definition} 

2: Define a combinatorially CAT(0) cubical complex to be

3: a simply connected 

4: cubical complex in which all vertex links are flag.  (It will 

5: be shown in Theorem~\ref{gromovthm} that a cubical complex is CAT(0) 

6: if and only if it is combinatorially CAT(0).)  

7: \end{definition}