third

third : ((cons w (cons z (cons y (listof x)))) -> y)
purpose: to select the third item of a non-empty list