Shooter-outers -- I like to see that you're working on these shootouts. But, let me suggest that you document these functions with a min of types and one-line purpose statements: ; sequence : Nat Nat -> (listof Nat) ; to create the list of natural numbers between start and stop (inclusive) One day we must just use those types and do something with them. -- Matthias