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