edit for Aristotle's work, 
but rather to avoid a situation where someone runs some simple
mechanical transformation of our axioms, producing a set of
equivalent ones for which they then take credit.  (Normal 
copyright protection does not protect against such "semantic"
plaigarism, since the character-by-character appearance of 
the axioms would be different from the form in which we supplied
them, even if all the "adapter" did was alter the names of the
predicates and variables in some systematic manner.)