Move constants to laws