  When Graham Priest arrived in Australia and presented his ‘Logic of Paradox’ to the 1976 meeting of the Australasian Association of Logic, another intensely productive partnership was struck. With true contradictions—later to be named dialetheia by Sylvan and Priest—in view, the potential of surpassing classical logic opened up: