Quine's substitutional account shows formal invalidity can be demonstrated by uniform substitution o...