var usemax: real;
begin

assume usemax > 0;

if ((usemax>10) or (usemax<1)) then
assume not usemax*10 == 0;
endif;

end