Before revision: The first definition is syncategorematic since it gives an interpretation for expressions containing the plus sign but does not give an interpretation for the plus sign itself.
After revision: The first rule is syncategorematic since it gives an interpretation for expressions containing the plus sign but does not give an interpretation for the plus sign itself.