Differentiating between counterexamples for supporting students' algorithmic thinking. Issue 4 (December 2022)