If there is a proof from the premis to the conclusion.