1: \begin{definition}\label{Sipser:def}

2: For $2 \le u \le w$ and $\red{d\ge 0}$,  $\SkewedSipser_{u,\ourd}$ is the Boolean function computed by the following monotone read-once formula: 

3: 

4: \begin{itemize}

5: \item There are $2\ourd+1$ alternating layers of $\OR$ and $\AND$ gates, 

6:   where the top and bottom-layer gates are $\OR$ gates.  (So there are $\ourd+1$ layers of $\OR$ gates and $\ourd$ layers of $\AND$ gates.) 

7: \item $\AND$ gates all have fan-in $u$.

8: \item  $\OR$ gates all have fan-in $w$, except bottom-layer $\OR$ gates which have fan-in $\red{w^{33/100}}$; we assume that $w^{\red{1/100}}$ is an integer throughout the paper. (The most important thing about the constant 33/100 in the above definition is that it is less than 1; the particular value 33/100  was chosen for technical reasons so that we could get the constant 5 in Theorem~\ref{thm:main}.)

9: \end{itemize}

10: Consequently, $\SkewedSipser_{u,\ourd}$ is a Boolean function over %$N(\ourd) := 

11: $n = (uw)^\ourd  \red{w^{33/100}}$ variables in total.

12: \end{definition}

13: