Code is very often ambiguous (even more so in programming languages that play fast and loose with types).
Relative lack of ambiguity is a very easy way to tell who on your team is a senior developer
Program correctness is incredibly difficult - arguably the biggest problem in the industry.