It is redundant, right?