They are certainly correct if you replace "humans" with "the average GS coder".