In Logic 101 they taught us to replace arguments with A, B, & C to see if they are valid. Substitution is a good tool.