p-values and modus tollens