Theory expansion