Verifier complains about Phi with wrong number of inputs.