Declarative Vs. Functional Knowledge