Sanity checks here as well, also `p * q == modulus`?