A function may be called simultaneously by many threads. It uses only arguments and local variables, and calls no shared mutable state. Which property is most directly supported by this design?