second
second : ((cons z (cons y (listof x))) -> y)
purpose:
to select the second item of a non-empty list
Intermediate Student Language