  Much of Prior’s research consisted of the tireless exploration of a labyrinth of axiomatic calculi. Yet for him the point of a logical calculus was always that it had a subject matter, be it time, obligation, agency, or even biology, and a concern for philosophical problems never lay far below his theorems. It was the extra-symbolic world that mattered to Prior, not the formal results per se. He wrote: