Infinite rewrites