SEMIOTIC RELATIONS AND PROOF METHODS