Are the functions in 15.2.3 pure? It doesn't say so in 15.2.3.1, or in their individual descriptions. Should they be pure? I can't think of a reason why not.