There are many human delights, many human actions, which remain unaccounted for in a terminal calculus of the logical...