A collection of useful assertions