Monotone Simulations of Nonmonotone Proofs.