programmers can write specifications