append(ListOfLists, List) is true if ListOfLists is a list of lists and List unifies with the concatenation of all of them.