Registry · Proposition
IV.P07
tau-effective
formalized
IV.P07 — All Links Tau-Effective
10 tau-effective links, 0 conjectural, 0 metaphorical. Scope count verified by native_decide. The R formula has ZERO conjectural ingredients.