Origins of PLTL