execution: PASS
Tested implicitly via assertion 2,3,4.  See output for status