the commented asserts will fire. they are commented only so we can see the partially correct (but incomplete) output. As I said in the intro, this isn't in final form yet.