updates proposition to include workers and tasks