export { Law16 as default } from "./";