execution: PASS
Tested implicitly via assertions 1 and 2.  See output for status.