explain walrus's law