"TCC ( f , g ; f ??? , g ??? ) = ??? - ??? ??? ??? - ??? ??? S ( f ?????? , g ?????? ) ??? P ( f + f ?????? , g + g ?????? ) ??? P * ( f ??? + f ?????? , g ??? + g ?????? ) ??? f ?????? ??? g ?????? ( 2 ) wherein S is an effective light source distribution, P is a pupil function, and P* is a conjugate complex function of P." . . . .