Nice DP. learned a new type!