We leave it to you to verify that \eqref{eventwo} also defines the even numbers. It is intuitively plausible that \eqref{evenone} and \eqref{eventwo} evaluate using algorithms that differ, and so have different senses. But of course this must be made precise. What is needed is a uniform method of comparison between algorithms. Here we just briefly sketch the ideas.