Because employees generally are more productive and happier if they periodically are given time off from work, employers usually provide a specific number of vacation days per year for each employee, which is sometimes called annual leave. Employers are not required by law to give employees paid vacations, but state law does require that county government employers have a written policy stating whether paid vacation leave is given and if so, how it accumulates and how it may be used, whether employees will be paid for unused vacation days, and provisions for maintaining records.^[1]