modified assertions