Under the standard picture, Deductions 5 and 6 together entail that if the one is not, then the one ...