Using the set axioms as examples, write axioms for the list domain, including all the constants, functions, and predicates mentioned in the chapter.