Type pc:Ltl
LTL