DFM doesn't need laziness. The implementation was just buggy. Incorporated some DVH comments.