Text this: A rigorous justification of the Mittleman's approach to the Dirac–Fock model.