Don't confuse CTL with IPTL

Top