This images shows verifying the output.