  Rather as Socrates offered to develop D1 in all sorts of surprising directions, so now he offers to develop D3 into a sophisticated theory of knowledge. This theory, usually known as the “Dream of Socrates” or the “Dream Theory,” posits two kinds of existents, complexes and simples, and proposes that “an account” means “an account of the complexes that analyses them into their simple components.” Thus “knowledge of x” turns out to mean “true belief about x with an account of x that analyses x into its simple components.”