The Subtheory