Number behaviour assertions