assert correvtion