If a function only reads memory, then we know that...