%%% Assignment 4
%%% extra credit
%%% Out: Monday 1st Oct
%%% Due: Monday 8th Oct 

Show that the additional "reduction"

< fst P, snd P > ==> P

is valid in denotaitonal semantics, in the sense that it always holds in the functional interpretation, and find a similar further "reduction" involving lambda terms, that also has this property. (10 points)