verifying output