I'm worry about this line because you're mutating the `requires`, not a big deal but ideal we could do it without mutating it. I wonder why this code is here while before it was part of the calculate routine.