no more exceptions in the provers