We present a greatly simplified proof of the length-space
trade-off result for resolution in Hertel and Pitassi (2007), and
also prove a couple of other theorems in the same vein. We point
out two important ingredients needed for our proofs to work, and
discuss possible conclusions to be drawn regarding proving
trade-off results for resolution. Our key trick is to look at
formulas of the type F = G \land H, where G and H are over
disjoint set of variables and have very different length-space
properties with respect to resolution. This trick is not present
in the proof of Hertel and Pitassi, and thus their techniques can
likely be used to prove results not obtainable by our methods.