I can't be sure, but I think making the setters `@published` will make these unnecessary.