You're right on both counts --- I goofed 

Forum: U Chicago, Com Sci 221 old messages, autumn 2000
Re: Assignment #4, due 25 October (Mike O'Donnell)
Re: Evaluations sent, comments posted (Mike O'Donnell)
Re: Question Regarding Answer to Homework 4 (Ben Johnson)
Date: 2000, Nov 02
From: Mike O'Donnell <odonnell@cs.uchicago.edu>

How embarassing that I bungled my own invariant. Your correction is right on both counts. I will update the alleged solution, and I expect I'll get it right this time. Mike O'D.

Messages

to: "You're right on both counts --- I goofed"