For they had departed from Rephidim, and had come [to] the desert of Sinai, and had pitched in the wilderness; and there Israel encamped before the mount.