Added some postcondtition exceptions