Semioticsofdeduction