The claim is therefore either trivially true by definitional fiat or false if 'computable' tracks a ...