“…What is also interesting is that LL promotion rule can be encoded in DiLL 0 through the notion of syntactic Taylor expansion [8,10,26,29,15,3,16,17]: a proof in LL can be decomposed into a possibly infinite set of (promotion-free) proofs in DiLL 0 . Given a proof in LL with exactly one promotion rule !p, the idea is to replace !p (which makes the resource π available at will) with an infinite set of "differential" proofs in DiLL 0 , each of them taking n ∈ N copies of π so as to make the resource π available exactly n times.…”