erentiating CTLs.

N