User blog comment:Wythagoras/Buchholz hydra/@comment-5029411-20130828214453/@comment-1605058-20130830082233

Rule 2: If we have no constrain on @ then array (...,0,X...X) reduces to exactly anything.