an argument can prove to be valid