Data.Logic.Harrison.DP