IAL Rewrite