Dessa lagar ha nu i k.proposition