Rewriting GeneRec