second
second : ((cons Z (cons Y (listof X))) -> Y)
purpose:
to select the second item of a non-empty list
Beginning Student Language