Alpha rewrite