Yeah, I also found weird that he'd check the type of the addend in the adding example, he just talked about protocols, and that negates their use, and instead forces inheritance.