The behavior condition for a linked list is that, like a pair, its constructor and selectors are inverse functions.