I fall lagen antages,