"ltl" - key terms from Wikipedia