James C - started var-elimination