Cases 7a and 8a work. I have cleaned up the code.