Can this function be pure?

They are, and thanks.