var p = true;
var y= p&true;
var f = false;
function g () = y & !p ;
function f(p,x) = f | y & p & !x;
var q = f(p,p);
var z= g();
p & f(y,f(true,q));