Anon said the difference between workers and laborers is that, workers are currently on holiday and laborers are still working through the holidays 😄