It should not be in the interface for the same reason as above.
The  `removeOneToken` function was needed because it is used during the execution process.