i INCLUDE that, but i also mean that the theory of what Riker wants should be something more than just "Riker was a world that looks like this: <the world, with its structure>"
rather, the theory should be a) separate, as a bunch of constraints which the world satisfies, and..