Registry · Theorem IV.T233 framework not_formalized IV.T233 — Decay as Junction Passage The ^- decay in tau3 proceeds as: enumerate Neutron mode on ^2. Mode reaches the L junction . Book IV Part 3 Ch. 22