Some assertions