if(b) then x else y