A DFT study of the structures, stabilities and redox behaviour of the major surfaces of magnetite Fe₃O₄.