ct-Uwaka identity - 7.0