Light rewrite on the prelude