ct-Uwaka identity - 6.0