1st step to make the specs pass without specific order (random seed)