“If the implementer has state that is used in the computation, then the implementer is effectively an argument of the operation,”