Als het antecedent ontkennen, bevestigen het daaruit voortvloeiende is een formele misvatting. De drogreden ligt uitsluitend in de vorm zelf. Heeft het volgende patroon: als p en q, q, daarom p. een van de argumenten dat past dit patroon ongeldig, dat wil zeggen is, zelfs als het pand voldaan wordt, de conclusie dat blijkens deze lokalen mag niet waar zijn. Evenwel een geldig formulier garandeert dat, als de lokalen waar zijn, de conclusie zal gelden. Inderdaad, als een argument heeft een geldig formulier en waar gebouwen, dan is het onmogelijk voor de sluiting vals te zijn.