To my mind this comment is redundant: it is obvious