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