rewrite it in CLE