Better specs for exceptions