subtheories