redundantC follows