Hi All:

I have extended the deadline on the TDD homework by a week.

In the paper "A Framework for Visualizing ..." paper that I handed out last
night, please replace step 3 with the following.

3. Form "Expression" by replacing selected constants k in "Postconditions"
with variables kx.

I'll explain this on Monday and move on to post-unit testing.

For the next three days, I will probably be attending a software engineering
conference.

Eric Braude