execution: UNTESTED
Not yet tested.