More rewrites for intro