declare pure functions as such