Intermediate stopping point, but informal_test.py runs correctly, currently.