A theoretical approach to the link between oxidoreductions and pyrite formation in the early stage of evolution.