An Untapped Resource: A History of PLTL