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