結果 : multi step problem solving through a verifier