Wrote a erasure-value splitter.