 Long after he departed for England in December 1958, Prior and his ideas remained a strong influence on the development of logic in New Zealand—beginning with his arranging for Robert Bull and Jonathan Bennett to share the teaching of his Advanced Logic course at Canterbury in 1959. Bull had recently found a completeness proof for a Diodorean logic of pure implication and taught this to the class (‘heaven help me—and them’, he says now).