Declarative theory