reverse(List, ReversedList) is true if and only if ReversedList is a list whose elements have been reordered so their positions are inversed respect to their position in List.