rewrite in ase