side-effect-free manner.