... made.¹

(2) uses a conditional expression. $\textbf{if} p \textbf{then} a \textbf{else} b$ has the value $a$ if the proposition $p$ is true and otherwise has the value $b$. The theory of conditional expressions is discussed in [McC63]. Conditional expressions are used in the Lisp, Algol 60, Algol 68, and Scheme programming languages.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... sense.²

Dennett (email of 2003 Feb 27) tells me that the blink reflex involves no significant free will in his sense

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.