Adopting a path integral approach to quantum theory leads to the definition of quantum measure. One of its main properties, is that one can cover the full sample space with sets of quantum measure zero. The physical consequence of this, is that one cannot maintain the one-history-realised viewpoint. This leads to the proposed coevents formulation. In this talk, after a very brief introduction to the formulation, we examine certain important issues that arise. Firstly, how the Kochen Specker theorem and the existence of zero covers is evaded. At this point, a brief comparison of the coevents formulation with the consistent histories will be done. Secondly, how requiring deductive reasoning for the quantum world (and the Modus Ponens inference rule) necessarily leads to the multiplicative coevents defined earlier.