main = PEVAL (let x free in (x =:= True,x =:= False))