record setters, as well as getters