Redacted statement about pure functions