 The idea is: \(M\) is preferred over \(M'\) if every assumption \(\pi_i\) that doesn't hold in \(M\) but that holds in \(M'\) is ‘compensated for’ by a more specific assumption \(\pi_j\) that holds in \(M\) but that doesn’t hold in \(M'\). 