Tony having reverted my changes to the above sequence (and I
have no complaints about that), the sequence terms do not match the
definition (Name) of the sequence. Shouldn't some amendment to the
definition, or comment, be added?
Best,
Harvey