I mean you just KNOW that while that addition may make sense, some 12 year minded person like me would just start referring to it as the CRAP theorem. And I don’t even dislike the theorem.