deduction eduction illation inference concludency derivation educt deduction theorem educement consequence