 In Past, Present and Future Prior presented his so-called Ockhamist system, which accepts (P5) but rejects (P3) (see Prior 1967, p. 126 ff.). This system is inspired by some of the ideas formulated by William of Ockham.