AllSame constraint in Pack