Figure:
Example
of CTL
Open figure