[1] The order of the first two clauses in the cond matters, since the empty list satisfies null? and also is not a pair.
[2] The order of the two predicates matters, since null satisfies is_null and also is not a pair.
2.2.2   Hierarchical Structures