Protein complexing in a methanogen suggests electron bifurcation and electron delivery from formate to heterodisulfide reductase