 (Note the difference between the dot placed before the connective and the conjunction sign itself.) By a simple deduction from the three starred principles and basic logic, Church derives both \(\het(v)\) and \(\nsim \het(v)\). Church’s deduction closely resembles one given by Copi (1971), who attributes it to Ramsey. (See  supplement F.)