#12: satisfied affirmConseq_posTest2
Closes #12.