formal redirect index