But we do need to let UnsatisfiedAssumption exceptions through so we can assume in test cases