 Hirokazu Nishimura (1979) has argued that if time is assumed to be discrete, then an Ockhamist cannot consistently accept the conjunction of \(p_1\) and \(p_2\), whereas a Leibnizian can maintain such a view without contradicting himself. The purpose of the following figure is to clarify the difference between these two views.