Renamed to "assertions" to avoid Hackage conflict.