sorry, I don't understand why, if we use `|| number` in every callers...