  It appears that every argument of D3 is logically valid. Like the Arguments of D1 and D2, the Arguments of D3 rest on a number of independent premises, including premises of D1 and D2. Again, it appears that the premises are, at least from Plato’s point of view, either definitionally true or self-evident. Thus it appears that, from Plato’s point of view, D3 establishes, without reliance on Purity-F or any other potentially problematic assumption, that if the one is, then the others have a host of contrary properties.