"where h is a linear functional which means that (1) for all functions, a, b c and some function ht h (if a then b else c) = if ht a then h b else h c" . . . .