²P can construct ψ by exhaustive search since we place no time bounds on P . Alternatively, P can construct ψ from the isomorphism used to construct H in step 1 and an isomorphism π : G₁ → G₂.