@Tobias - I checked the proofs but I am always confused by the flipped order of **Cost**.

Am I missing something? I am struggling to think of a counter example to MD1...