return rec defs