the off by one error, which means, doh, that we cannot do transitivity with wf always at 0