var f: real, g:real;
begin

if ((f >= 0 and -f <= g and g <= f) or (-f >= 0 and f <= g and g <= -f)) then
assume not f == 0;
else 
assume not g == 0;
endif;

end