Sequence Enumeration: An example