Stairs circuit is currently defined so that, in its full generality (i.e., where it includes all possible parents for each U(2)), it has as final state, a completely general n-qubit state. The stairs circuit as currently defined uses multi-controlled U(2) gates. Can one replace each U(2) by exp(i*alpha) Ry(beta) for real numbers alpha, beta? Hence reduce from four to two parameters per gate string. This would simplify calculation of derivatives. Would it still produce a completely general n-qubit state at the end?