Finalize meaning of :: @@ and $$