An alternate formulation of why-leading.t