A coherent mathematical characterization of isotope trace extraction, isotopic envelope extraction, and LC-MS correspondence. Issue 7 (December 2015)