Jeff Kitchens Class on Sequence, Proposition, Plot