5:5a workers: The Hebrew word is used for 'mighty deeds,' 'achievements,' and is common in the Psalms: see Job 31:3; 34:8, 22.