method m(x)
  x := this-x;
  return x*2;
end;