If I add e.g. the modulus check you describe then we are testing computation?