Rename into deriving