Numbers 15:34

They — That is, Moses and Aaron, and the seventy rulers. What should be done — That is, in what manner he was to be cut off, or by what kind of death he was to die, which therefore God here particularly determines: otherwise it was known in general that sabbath — breakers were to be put to death.