rewritten as so