Might as well use the global `DEG` defined earlier in the file.