declarative theory