A clear, rigorous foundation for understanding payment channel liquidity, routing failures, and channel depletion. Dense but precise, with real relevance to Lightning style networks.