section 4.2

alpha_{i,j} are automatically in Qp, the interesting part is that they
are in Zp, better make this clear