Actually, we can even use an array here instead of a set