The subtheory