The redox state of the mantle during and just after core formation | Synapse