ct-Lee identity - 4.0