Comments on "An Exponential Time/Space Speedup For Resolution"