I detta uppräknades de lagar,