Ambos significados pueden aplicar si la versión formalizada del argumento forma la prueba de una verdad sorprendente.