intro and abstract rewrite