[Biganon]

Are they wrong? To me, the long version is valid precisely because it is explicit (more to me than the short version), and will be optimized