Då man antager en lag,