If indices underdetermine totality, then the inference from 'υ(i,x) is partial computable' to 'it ca...