Quine's canonical notation thesis holds that regimentation into first-order logic with bound variabl...