Formal, accurate historical simulations.