 At the same time, it is not clear how tying reduction to mereology could deal with cases like this: Iron reduces Fe (the chemical structure kind). Both expressions, ‘iron’ and ‘Fe’, are syntactically simple. More importantly, ‘Fe’ does not present us with Iron-atoms as composed wholes. Similarly, the often-used example of pain and C-fiber firing does not match this idea.