((a1, a2, ..., an) -> x) -> ((an, ..., a2, a1) -> x)
((a1, a2, ..., an) -> x) -> ((an, ..., a2, a1) -> x)






