execution: PASS
Tested implicitly via assertion 5, 6, 7.  See output for status