In particular, it needs to use `raises`