Ltl Property Success Plt