GENERIC --> NUMANOR