And it’s a hard problem to fully specify. A lot of people here seem to think that CS style analytical thinking can solve every real world problem precisely. That’s just not true.