so to clarify, no I don't think these are redundant. they are there intentionally to make the code easier to read.