eq3iii.out x + y ^ = y ^ ]]> (p ; x) ^ + (p ; x ; p) ^ = (p ; x ; p) ^)) ]]>