  A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be
expanded into a set of resource proof-structures: its Taylor expansion. We
introduce a new criterion characterizing those sets of resource
proof-structures that are part of the Taylor expansion of some MELL
proof-structure, through a rewriting system acting both on resource and MELL
proof-structures.
