“The Excess Description Length (EDL) metric is non-negative in expectation.”