Like denying the antecedent, affirming the consequent is a formal fallacy. The fallacy lies solely in the form itself. It has the following pattern: if p then q, q, therefore p. Any argument that fits this pattern is invalid, that is, even if the premises are true, the conclusion that follows from these premises may not be true. Whereas, a valid form guarantees that, if the premises are true, the conclusion will be true. Indeed, if an argument has a valid form and true premises, then it is impossible for the conclusion to be false.