"x")"y"), which has two redexes, but in call by need they are represented using the same object rather than copied, so when one is reduced the other is too.While the idea of β-reduction seems simple enough, it is not an atomic step, in that it must have a non-trivial cost when estimating computational complexity.