method m(x)
  return not((not this) or (not x));
end;