The relationship between a leading and trailing indicator is a *hypothesis.* This is the kind of thing that real scientists do experiments to test, and try to prove causality, but computer science is not a science, so we get more of a YOLO approach here.
And a lot of teams fall into this trap.