purity: See pure function