Title: Functional Structure in DP and IP Vol. 1