Improve  -- avoid rule instantiation