The function {tt reverse} produces a list in which the order of items is the reverse of that in the list supplied as its single argument.
(=> (Reverse ?List ?New-List) (= ?New-List (Revappend ?List (Listof))))