Review: A. N. Prior, Symmetry, Transitivity and Reflexivity