 Regarding the classification represented in the diagram it should be noted that from a logical point of view the two rows are not mutually exclusive. However, although it would in principle be possible to reject both (P3) and (P5), we do not know any important theory of that kind.