If we do move the `assertions` attribute into a module, this can be removed :).