Hjelmslev's law