updated definition for the theory; index removed