Premise: the garbage collection um more costly
Hypothesis: Garbage collection that's cheaper. 
Label: contradiction