first( [ X | Y ], X ).
