rewrite another definition