wrote vtc', a correct?/more provable? version of vecToComb