workers and craftsmen