Antag att en dylik lagför