execution: PASS
Tested implicitly via assertion 1 & 2.  See output for status.