Potential typo in the description of the verifier checks for OPlonky (section 2.4, see image below).
The image shows that the verifier checks \frac{q(X) - q(\mathfrak{z})}{X-\mathfrak{z}} and ratios of the form \frac{a_i(X) - q(\mathfrak{z})}{X-\mathfrak{z}} and \frac{\pi_j(X) - q(\mathfrak{z})}{X-\mathfrak{z}}.
Should those instead be \frac{a_i(X) - a_i(\mathfrak{z})}{X-\mathfrak{z}} and \frac{\pi_j(X) - \pi_j(\mathfrak{z})}{X-\mathfrak{z}}?
