Prior’s defence of Hintikka’s theorem. A discussion of Prior’s ‘The logic of obligation and the obligations of the logician’