theory and abstract