 Logical mass was building. Malcolm Rennie, a young Australian, joined Auckland University in 1965 as a lecturer (snatched it is said from under the nose of Jack Smart, who wanted him for the University of Adelaide). Rennie was strongly influenced by Prior’s work, and began publishing a stream of papers on tense and modal logic. His 1971 article on Prior’s tense system \(QK_t\) included a eulogy: ‘This paper is dedicated to the memory of the late Arthur Prior: it was never my good fortune to meet him, but I am very grateful for his personal encouragement in correspondence, and for the interest generated by his many fertile and imaginative writings’ (Rennie 1971: 107). In 1968, Rennie taught a graduate course on Prior to his Auckland students, covering Priorean tense logic in Polish notation.