rec redef