Conversation

I like how terms in programming seem to only somewhat track equivalent terms in areas like logic. SICP defines predicates as things with a truth-value, whereas in logic that would define what a proposition is while a predicate is what either exposites the subject of a proposition or assigns some attribute to the subject through the copula.