We should specify this exercise such that students are proving some properties about the results.
We should specify this exercise such that students are proving some properties about the results.