one more intermediate stopping point. informal_test.py works fine.