Assertions -> Exceptions (CoFi)