Hints for list\_equal.