flip arguments in Verifier and handle no answers case