Floyd

Why the tautological definition on this line?