TSL vs Complexity - IPTL