diff --git a/README.md b/README.md
index 62b7558e..4720dee6 100644
--- a/README.md
+++ b/README.md
@@ -444,5 +444,4 @@ We manually wrote the C++/Rust bindings for RocksDB with [cxx](https://cxx.rs/).
 
 ## Licensing
 
-The contents of this project are licensed under MPL-2.0 or later, except
-files under `cozorocks/`, which are licensed under MIT, or Apache-2.0, or BSD-3-Clause.
+The contents of this project are licensed under MPL-2.0 or later.
\ No newline at end of file
diff --git a/cozo-core/src/algo/all_pairs_shortest_path.rs b/cozo-core/src/algo/all_pairs_shortest_path.rs
index 219be180..4823edb6 100644
--- a/cozo-core/src/algo/all_pairs_shortest_path.rs
+++ b/cozo-core/src/algo/all_pairs_shortest_path.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Reverse;
diff --git a/cozo-core/src/algo/astar.rs b/cozo-core/src/algo/astar.rs
index b10fb8a4..ced962b3 100644
--- a/cozo-core/src/algo/astar.rs
+++ b/cozo-core/src/algo/astar.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Reverse;
diff --git a/cozo-core/src/algo/bfs.rs b/cozo-core/src/algo/bfs.rs
index 6c27c607..082a6d20 100644
--- a/cozo-core/src/algo/bfs.rs
+++ b/cozo-core/src/algo/bfs.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet, VecDeque};
diff --git a/cozo-core/src/algo/constant.rs b/cozo-core/src/algo/constant.rs
index a552f483..a2ba6ceb 100644
--- a/cozo-core/src/algo/constant.rs
+++ b/cozo-core/src/algo/constant.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/csv.rs b/cozo-core/src/algo/csv.rs
index de72cfcf..02392f90 100644
--- a/cozo-core/src/algo/csv.rs
+++ b/cozo-core/src/algo/csv.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/degree_centrality.rs b/cozo-core/src/algo/degree_centrality.rs
index c857842e..84b6156b 100644
--- a/cozo-core/src/algo/degree_centrality.rs
+++ b/cozo-core/src/algo/degree_centrality.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/dfs.rs b/cozo-core/src/algo/dfs.rs
index 1513d52f..a47d6eba 100644
--- a/cozo-core/src/algo/dfs.rs
+++ b/cozo-core/src/algo/dfs.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/algo/jlines.rs b/cozo-core/src/algo/jlines.rs
index 877db54c..ceb74118 100644
--- a/cozo-core/src/algo/jlines.rs
+++ b/cozo-core/src/algo/jlines.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/kruskal.rs b/cozo-core/src/algo/kruskal.rs
index 810c0818..1695e39c 100644
--- a/cozo-core/src/algo/kruskal.rs
+++ b/cozo-core/src/algo/kruskal.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Reverse;
diff --git a/cozo-core/src/algo/label_propagation.rs b/cozo-core/src/algo/label_propagation.rs
index 8ad99198..31850e47 100644
--- a/cozo-core/src/algo/label_propagation.rs
+++ b/cozo-core/src/algo/label_propagation.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/louvain.rs b/cozo-core/src/algo/louvain.rs
index 55169985..bd112a9c 100644
--- a/cozo-core/src/algo/louvain.rs
+++ b/cozo-core/src/algo/louvain.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/algo/mod.rs b/cozo-core/src/algo/mod.rs
index 059fc464..bfd38103 100644
--- a/cozo-core/src/algo/mod.rs
+++ b/cozo-core/src/algo/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/pagerank.rs b/cozo-core/src/algo/pagerank.rs
index ef103aaa..e54fc751 100644
--- a/cozo-core/src/algo/pagerank.rs
+++ b/cozo-core/src/algo/pagerank.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/prim.rs b/cozo-core/src/algo/prim.rs
index b956f51b..4d033516 100644
--- a/cozo-core/src/algo/prim.rs
+++ b/cozo-core/src/algo/prim.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Reverse;
diff --git a/cozo-core/src/algo/random_walk.rs b/cozo-core/src/algo/random_walk.rs
index dfa00d3c..a15c393d 100644
--- a/cozo-core/src/algo/random_walk.rs
+++ b/cozo-core/src/algo/random_walk.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/reorder_sort.rs b/cozo-core/src/algo/reorder_sort.rs
index ce7c0c3c..5f39a9e5 100644
--- a/cozo-core/src/algo/reorder_sort.rs
+++ b/cozo-core/src/algo/reorder_sort.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/shortest_path_dijkstra.rs b/cozo-core/src/algo/shortest_path_dijkstra.rs
index b980e0dd..bee8a90a 100644
--- a/cozo-core/src/algo/shortest_path_dijkstra.rs
+++ b/cozo-core/src/algo/shortest_path_dijkstra.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::{Ordering, Reverse};
diff --git a/cozo-core/src/algo/strongly_connected_components.rs b/cozo-core/src/algo/strongly_connected_components.rs
index 08bbea4b..a172e0f9 100644
--- a/cozo-core/src/algo/strongly_connected_components.rs
+++ b/cozo-core/src/algo/strongly_connected_components.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![allow(unused_imports)]
 
diff --git a/cozo-core/src/algo/top_sort.rs b/cozo-core/src/algo/top_sort.rs
index 10dbb49d..68593344 100644
--- a/cozo-core/src/algo/top_sort.rs
+++ b/cozo-core/src/algo/top_sort.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/algo/triangles.rs b/cozo-core/src/algo/triangles.rs
index 3b3da42a..09275349 100644
--- a/cozo-core/src/algo/triangles.rs
+++ b/cozo-core/src/algo/triangles.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/algo/yen.rs b/cozo-core/src/algo/yen.rs
index a3cb3957..e22f77f1 100644
--- a/cozo-core/src/algo/yen.rs
+++ b/cozo-core/src/algo/yen.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/cozoscript.pest b/cozo-core/src/cozoscript.pest
index 41e177db..2ebf5b53 100644
--- a/cozo-core/src/cozoscript.pest
+++ b/cozo-core/src/cozoscript.pest
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 script = _{sys_script | multi_script | query_script}
diff --git a/cozo-core/src/data/aggr.rs b/cozo-core/src/data/aggr.rs
index 5977d7b4..9c09cf23 100644
--- a/cozo-core/src/data/aggr.rs
+++ b/cozo-core/src/data/aggr.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/data/expr.rs b/cozo-core/src/data/expr.rs
index 3d3a4fb0..fb02fd66 100644
--- a/cozo-core/src/data/expr.rs
+++ b/cozo-core/src/data/expr.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::{max, min};
diff --git a/cozo-core/src/data/functions.rs b/cozo-core/src/data/functions.rs
index 73d6b1ed..0c0bfd70 100644
--- a/cozo-core/src/data/functions.rs
+++ b/cozo-core/src/data/functions.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/data/json.rs b/cozo-core/src/data/json.rs
index 1088264b..d355930d 100644
--- a/cozo-core/src/data/json.rs
+++ b/cozo-core/src/data/json.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use serde_json::json;
diff --git a/cozo-core/src/data/memcmp.rs b/cozo-core/src/data/memcmp.rs
index ad0ba0d6..87ee73bf 100644
--- a/cozo-core/src/data/memcmp.rs
+++ b/cozo-core/src/data/memcmp.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/data/mod.rs b/cozo-core/src/data/mod.rs
index 2001f788..2f0bae9a 100644
--- a/cozo-core/src/data/mod.rs
+++ b/cozo-core/src/data/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 pub(crate) mod json;
diff --git a/cozo-core/src/data/program.rs b/cozo-core/src/data/program.rs
index 3053deb6..7cc983f0 100644
--- a/cozo-core/src/data/program.rs
+++ b/cozo-core/src/data/program.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::btree_map::Entry;
diff --git a/cozo-core/src/data/relation.rs b/cozo-core/src/data/relation.rs
index 4d85d0a1..e957e722 100644
--- a/cozo-core/src/data/relation.rs
+++ b/cozo-core/src/data/relation.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fmt::{Display, Formatter};
diff --git a/cozo-core/src/data/symb.rs b/cozo-core/src/data/symb.rs
index ddd41a34..ab27e5f9 100644
--- a/cozo-core/src/data/symb.rs
+++ b/cozo-core/src/data/symb.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Ordering;
diff --git a/cozo-core/src/data/tests/aggrs.rs b/cozo-core/src/data/tests/aggrs.rs
index 4e00a677..bcc980b7 100644
--- a/cozo-core/src/data/tests/aggrs.rs
+++ b/cozo-core/src/data/tests/aggrs.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use approx::AbsDiffEq;
diff --git a/cozo-core/src/data/tests/functions.rs b/cozo-core/src/data/tests/functions.rs
index 4add66ce..571a04f2 100644
--- a/cozo-core/src/data/tests/functions.rs
+++ b/cozo-core/src/data/tests/functions.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use approx::AbsDiffEq;
diff --git a/cozo-core/src/data/tests/mod.rs b/cozo-core/src/data/tests/mod.rs
index 8f8af486..90ae09d3 100644
--- a/cozo-core/src/data/tests/mod.rs
+++ b/cozo-core/src/data/tests/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 mod functions;
diff --git a/cozo-core/src/data/tuple.rs b/cozo-core/src/data/tuple.rs
index af7236d8..ad610b31 100644
--- a/cozo-core/src/data/tuple.rs
+++ b/cozo-core/src/data/tuple.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fmt::{Debug, Formatter};
diff --git a/cozo-core/src/data/value.rs b/cozo-core/src/data/value.rs
index 231d5141..6e3b6413 100644
--- a/cozo-core/src/data/value.rs
+++ b/cozo-core/src/data/value.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Ordering;
diff --git a/cozo-core/src/lib.rs b/cozo-core/src/lib.rs
index 200765cd..b2206eeb 100644
--- a/cozo-core/src/lib.rs
+++ b/cozo-core/src/lib.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 //! This crate provides the core functionalities of [CozoDB](https://github.com/cozodb/cozo).
diff --git a/cozo-core/src/parse/expr.rs b/cozo-core/src/parse/expr.rs
index cbc98b8b..dff50760 100644
--- a/cozo-core/src/parse/expr.rs
+++ b/cozo-core/src/parse/expr.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/parse/mod.rs b/cozo-core/src/parse/mod.rs
index a3c97c97..b06a4d61 100644
--- a/cozo-core/src/parse/mod.rs
+++ b/cozo-core/src/parse/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::{max, min};
diff --git a/cozo-core/src/parse/query.rs b/cozo-core/src/parse/query.rs
index 41060761..72a5a690 100644
--- a/cozo-core/src/parse/query.rs
+++ b/cozo-core/src/parse/query.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::btree_map::Entry;
diff --git a/cozo-core/src/parse/schema.rs b/cozo-core/src/parse/schema.rs
index fd1abc1a..3285d884 100644
--- a/cozo-core/src/parse/schema.rs
+++ b/cozo-core/src/parse/schema.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/parse/sys.rs b/cozo-core/src/parse/sys.rs
index 3ba3cda1..0282b015 100644
--- a/cozo-core/src/parse/sys.rs
+++ b/cozo-core/src/parse/sys.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/query/compile.rs b/cozo-core/src/query/compile.rs
index 3a683d03..9d0612a0 100644
--- a/cozo-core/src/query/compile.rs
+++ b/cozo-core/src/query/compile.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/query/eval.rs b/cozo-core/src/query/eval.rs
index 97efb072..fb2610cd 100644
--- a/cozo-core/src/query/eval.rs
+++ b/cozo-core/src/query/eval.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/query/graph.rs b/cozo-core/src/query/graph.rs
index cec5bc4f..5f71c4f2 100644
--- a/cozo-core/src/query/graph.rs
+++ b/cozo-core/src/query/graph.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/query/logical.rs b/cozo-core/src/query/logical.rs
index ee021408..a2891e7c 100644
--- a/cozo-core/src/query/logical.rs
+++ b/cozo-core/src/query/logical.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/query/magic.rs b/cozo-core/src/query/magic.rs
index 485bb1a5..9490d788 100644
--- a/cozo-core/src/query/magic.rs
+++ b/cozo-core/src/query/magic.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/query/mod.rs b/cozo-core/src/query/mod.rs
index 94ebae47..f63afa5b 100644
--- a/cozo-core/src/query/mod.rs
+++ b/cozo-core/src/query/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 pub(crate) mod compile;
diff --git a/cozo-core/src/query/relation.rs b/cozo-core/src/query/relation.rs
index 5d724a09..99c0ef96 100644
--- a/cozo-core/src/query/relation.rs
+++ b/cozo-core/src/query/relation.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::{BTreeMap, BTreeSet};
diff --git a/cozo-core/src/query/reorder.rs b/cozo-core/src/query/reorder.rs
index e8d532f1..ebb117a6 100644
--- a/cozo-core/src/query/reorder.rs
+++ b/cozo-core/src/query/reorder.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeSet;
diff --git a/cozo-core/src/query/sort.rs b/cozo-core/src/query/sort.rs
index da8a8a09..9908067e 100644
--- a/cozo-core/src/query/sort.rs
+++ b/cozo-core/src/query/sort.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Ordering;
diff --git a/cozo-core/src/query/stored.rs b/cozo-core/src/query/stored.rs
index 857f9455..04771580 100644
--- a/cozo-core/src/query/stored.rs
+++ b/cozo-core/src/query/stored.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/query/stratify.rs b/cozo-core/src/query/stratify.rs
index 52876d68..6878d699 100644
--- a/cozo-core/src/query/stratify.rs
+++ b/cozo-core/src/query/stratify.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::btree_map::Entry;
diff --git a/cozo-core/src/runtime/db.rs b/cozo-core/src/runtime/db.rs
index 215d2ce6..73914881 100644
--- a/cozo-core/src/runtime/db.rs
+++ b/cozo-core/src/runtime/db.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::collections::BTreeMap;
diff --git a/cozo-core/src/runtime/in_mem.rs b/cozo-core/src/runtime/in_mem.rs
index 905ca1c3..df5470ea 100644
--- a/cozo-core/src/runtime/in_mem.rs
+++ b/cozo-core/src/runtime/in_mem.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::borrow::BorrowMut;
diff --git a/cozo-core/src/runtime/mod.rs b/cozo-core/src/runtime/mod.rs
index 1105a2e2..f623f3f9 100644
--- a/cozo-core/src/runtime/mod.rs
+++ b/cozo-core/src/runtime/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 pub(crate) mod db;
diff --git a/cozo-core/src/runtime/relation.rs b/cozo-core/src/runtime/relation.rs
index 20bf403e..c2d75348 100644
--- a/cozo-core/src/runtime/relation.rs
+++ b/cozo-core/src/runtime/relation.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fmt::{Debug, Display, Formatter};
diff --git a/cozo-core/src/runtime/transact.rs b/cozo-core/src/runtime/transact.rs
index 4ce42eb0..798904f6 100644
--- a/cozo-core/src/runtime/transact.rs
+++ b/cozo-core/src/runtime/transact.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::sync::atomic::{AtomicU32, AtomicU64, Ordering};
diff --git a/cozo-core/src/storage/mem.rs b/cozo-core/src/storage/mem.rs
index 92412a32..ce561c66 100644
--- a/cozo-core/src/storage/mem.rs
+++ b/cozo-core/src/storage/mem.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Ordering;
diff --git a/cozo-core/src/storage/mod.rs b/cozo-core/src/storage/mod.rs
index aab2a605..c9ce6300 100644
--- a/cozo-core/src/storage/mod.rs
+++ b/cozo-core/src/storage/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use itertools::Itertools;
diff --git a/cozo-core/src/storage/re.rs b/cozo-core/src/storage/re.rs
index 5efa3765..5c2368b6 100644
--- a/cozo-core/src/storage/re.rs
+++ b/cozo-core/src/storage/re.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::borrow::Borrow;
diff --git a/cozo-core/src/storage/rocks.rs b/cozo-core/src/storage/rocks.rs
index 25186c55..aebfca71 100644
--- a/cozo-core/src/storage/rocks.rs
+++ b/cozo-core/src/storage/rocks.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fs;
diff --git a/cozo-core/src/storage/sled.rs b/cozo-core/src/storage/sled.rs
index 18b454f2..821ada5f 100644
--- a/cozo-core/src/storage/sled.rs
+++ b/cozo-core/src/storage/sled.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::cmp::Ordering;
diff --git a/cozo-core/src/storage/sqlite.rs b/cozo-core/src/storage/sqlite.rs
index 0eccc3d3..cacdd28f 100644
--- a/cozo-core/src/storage/sqlite.rs
+++ b/cozo-core/src/storage/sqlite.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::sync::{Arc, RwLock, RwLockReadGuard, RwLockWriteGuard};
diff --git a/cozo-core/src/storage/tikv.rs b/cozo-core/src/storage/tikv.rs
index 5fef3d7f..bf6f2b98 100644
--- a/cozo-core/src/storage/tikv.rs
+++ b/cozo-core/src/storage/tikv.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::ops::Bound::{Excluded, Included};
diff --git a/cozo-core/src/utils.rs b/cozo-core/src/utils.rs
index ec50f43a..b2d3d8db 100644
--- a/cozo-core/src/utils.rs
+++ b/cozo-core/src/utils.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 #[inline(always)]
diff --git a/cozo-core/tests/air_routes_mem.rs b/cozo-core/tests/air_routes_mem.rs
index 834f2813..69e554d2 100644
--- a/cozo-core/tests/air_routes_mem.rs
+++ b/cozo-core/tests/air_routes_mem.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under AGPL-3 or later.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![cfg(feature = "graph-algo")]
 
diff --git a/cozo-core/tests/air_routes_rocksdb.rs b/cozo-core/tests/air_routes_rocksdb.rs
index bafc505e..a1bf8e85 100644
--- a/cozo-core/tests/air_routes_rocksdb.rs
+++ b/cozo-core/tests/air_routes_rocksdb.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under AGPL-3 or later.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![cfg(feature = "storage-rocksdb")]
 #![cfg(feature = "graph-algo")]
diff --git a/cozo-core/tests/air_routes_sled.rs b/cozo-core/tests/air_routes_sled.rs
index 42e947de..28e6df68 100644
--- a/cozo-core/tests/air_routes_sled.rs
+++ b/cozo-core/tests/air_routes_sled.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under AGPL-3 or later.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![cfg(feature = "storage-sled")]
 #![cfg(feature = "graph-algo")]
diff --git a/cozo-core/tests/air_routes_sqlite.rs b/cozo-core/tests/air_routes_sqlite.rs
index 1d324423..4360c047 100644
--- a/cozo-core/tests/air_routes_sqlite.rs
+++ b/cozo-core/tests/air_routes_sqlite.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under AGPL-3 or later.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![cfg(feature = "storage-sqlite")]
 #![cfg(feature = "graph-algo")]
diff --git a/cozo-core/tests/air_routes_tikv.rs b/cozo-core/tests/air_routes_tikv.rs
index c943be50..aca692de 100644
--- a/cozo-core/tests/air_routes_tikv.rs
+++ b/cozo-core/tests/air_routes_tikv.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under AGPL-3 or later.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![cfg(feature = "storage-tikv")]
 #![cfg(feature = "graph-algo")]
diff --git a/cozo-lib-c/build.rs b/cozo-lib-c/build.rs
index fe068c5a..39c456e4 100644
--- a/cozo-lib-c/build.rs
+++ b/cozo-lib-c/build.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::env;
diff --git a/cozo-lib-c/cozo_c.h b/cozo-lib-c/cozo_c.h
index ceb4ddbc..29671015 100644
--- a/cozo-lib-c/cozo_c.h
+++ b/cozo-lib-c/cozo_c.h
@@ -1,4 +1,8 @@
-/* Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause. */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZO_C_H
 #define COZO_C_H
diff --git a/cozo-lib-c/example.c b/cozo-lib-c/example.c
index f2cbeb31..17942d1a 100644
--- a/cozo-lib-c/example.c
+++ b/cozo-lib-c/example.c
@@ -1,3 +1,9 @@
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
+
 #include <stdio.h>
 #include <stdint.h>
 #include <stdbool.h>
diff --git a/cozo-lib-c/src/lib.rs b/cozo-lib-c/src/lib.rs
index 0773a7df..b37e6334 100644
--- a/cozo-lib-c/src/lib.rs
+++ b/cozo-lib-c/src/lib.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 #![warn(rust_2018_idioms, future_incompatible)]
 
diff --git a/cozo-lib-java/src/lib.rs b/cozo-lib-java/src/lib.rs
index 5fdb147d..18090058 100644
--- a/cozo-lib-java/src/lib.rs
+++ b/cozo-lib-java/src/lib.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 use std::collections::BTreeMap;
 use std::sync::atomic::AtomicI32;
diff --git a/cozorocks/Cargo.toml b/cozorocks/Cargo.toml
index 77533884..5f158b81 100644
--- a/cozorocks/Cargo.toml
+++ b/cozorocks/Cargo.toml
@@ -2,7 +2,7 @@
 name = "cozorocks"
 version = "0.1.0"
 edition = "2021"
-license = "MIT/Apache-2.0/BSD-3-Clause"
+license = "MPL-2.0"
 authors = ["Ziyang Hu"]
 description = "Bindings to RocksDB used by the cozo crate"
 homepage = "https://github.com/cozodb/cozo"
diff --git a/cozorocks/LICENSE.txt b/cozorocks/LICENSE.txt
deleted file mode 100644
index 82d84369..00000000
--- a/cozorocks/LICENSE.txt
+++ /dev/null
@@ -1,21 +0,0 @@
-MIT License
-
-Copyright (c) 2022 Ziyang Hu
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.
\ No newline at end of file
diff --git a/cozorocks/bridge/bridge.h b/cozorocks/bridge/bridge.h
index 70a2da8a..78305494 100644
--- a/cozorocks/bridge/bridge.h
+++ b/cozorocks/bridge/bridge.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_BRIDGE_H
 #define COZOROCKS_BRIDGE_H
diff --git a/cozorocks/bridge/common.h b/cozorocks/bridge/common.h
index fc1e5a2b..b261f778 100644
--- a/cozorocks/bridge/common.h
+++ b/cozorocks/bridge/common.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_ROCKS_BRIDGE_H
 #define COZOROCKS_ROCKS_BRIDGE_H
diff --git a/cozorocks/bridge/db.cpp b/cozorocks/bridge/db.cpp
index 7043f75e..851158c7 100644
--- a/cozorocks/bridge/db.cpp
+++ b/cozorocks/bridge/db.cpp
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #include <iostream>
 #include <memory>
diff --git a/cozorocks/bridge/db.h b/cozorocks/bridge/db.h
index be20b996..dd60b2d5 100644
--- a/cozorocks/bridge/db.h
+++ b/cozorocks/bridge/db.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_DB_H
 #define COZOROCKS_DB_H
diff --git a/cozorocks/bridge/iter.h b/cozorocks/bridge/iter.h
index 59ac928e..22b38e81 100644
--- a/cozorocks/bridge/iter.h
+++ b/cozorocks/bridge/iter.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_ITER_H
 #define COZOROCKS_ITER_H
diff --git a/cozorocks/bridge/opts.h b/cozorocks/bridge/opts.h
index 498c4551..8f6fa1bb 100644
--- a/cozorocks/bridge/opts.h
+++ b/cozorocks/bridge/opts.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_OPTS_H
 #define COZOROCKS_OPTS_H
diff --git a/cozorocks/bridge/slice.h b/cozorocks/bridge/slice.h
index a2ca16c9..f71e1468 100644
--- a/cozorocks/bridge/slice.h
+++ b/cozorocks/bridge/slice.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_SLICE_H
 #define COZOROCKS_SLICE_H
diff --git a/cozorocks/bridge/status.cpp b/cozorocks/bridge/status.cpp
index dc48526f..1cf76594 100644
--- a/cozorocks/bridge/status.cpp
+++ b/cozorocks/bridge/status.cpp
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #include "status.h"
 #include "cozorocks/src/bridge/mod.rs.h"
diff --git a/cozorocks/bridge/status.h b/cozorocks/bridge/status.h
index 26bcc4ee..55ef20ee 100644
--- a/cozorocks/bridge/status.h
+++ b/cozorocks/bridge/status.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_STATUS_H
 #define COZOROCKS_STATUS_H
diff --git a/cozorocks/bridge/tx.cpp b/cozorocks/bridge/tx.cpp
index 6b1c5c95..994a84f1 100644
--- a/cozorocks/bridge/tx.cpp
+++ b/cozorocks/bridge/tx.cpp
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #include "tx.h"
 #include "cozorocks/src/bridge/mod.rs.h"
diff --git a/cozorocks/bridge/tx.h b/cozorocks/bridge/tx.h
index 58695cb7..af9082a9 100644
--- a/cozorocks/bridge/tx.h
+++ b/cozorocks/bridge/tx.h
@@ -1,6 +1,8 @@
-/*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- */
+// Copyright 2022, The Cozo Project Authors.
+//
+// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+// If a copy of the MPL was not distributed with this file,
+// You can obtain one at https://mozilla.org/MPL/2.0/.
 
 #ifndef COZOROCKS_TX_H
 #define COZOROCKS_TX_H
diff --git a/cozorocks/build.rs b/cozorocks/build.rs
index 3312ba8d..6515ddf1 100644
--- a/cozorocks/build.rs
+++ b/cozorocks/build.rs
@@ -1,7 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
- * Much of the build script is built upon:
- * https://github.com/rust-rocksdb/rust-rocksdb/tree/master/librocksdb-sys.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::path::{Path, PathBuf};
diff --git a/cozorocks/src/bridge/db.rs b/cozorocks/src/bridge/db.rs
index 2084379f..67742df3 100644
--- a/cozorocks/src/bridge/db.rs
+++ b/cozorocks/src/bridge/db.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use cxx::*;
diff --git a/cozorocks/src/bridge/iter.rs b/cozorocks/src/bridge/iter.rs
index 9173a160..98684664 100644
--- a/cozorocks/src/bridge/iter.rs
+++ b/cozorocks/src/bridge/iter.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 
diff --git a/cozorocks/src/bridge/mod.rs b/cozorocks/src/bridge/mod.rs
index 6b28b8e2..8ca809d1 100644
--- a/cozorocks/src/bridge/mod.rs
+++ b/cozorocks/src/bridge/mod.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::error::Error;
diff --git a/cozorocks/src/bridge/tx.rs b/cozorocks/src/bridge/tx.rs
index 1850b28e..42e475bf 100644
--- a/cozorocks/src/bridge/tx.rs
+++ b/cozorocks/src/bridge/tx.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fmt::{Debug, Formatter};
diff --git a/cozorocks/src/lib.rs b/cozorocks/src/lib.rs
index cbbec752..5ec94a4c 100644
--- a/cozorocks/src/lib.rs
+++ b/cozorocks/src/lib.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 #![warn(rust_2018_idioms, future_incompatible)]
diff --git a/cozoserver/Cargo.toml b/cozoserver/Cargo.toml
index d299f1a9..b697dd1e 100644
--- a/cozoserver/Cargo.toml
+++ b/cozoserver/Cargo.toml
@@ -2,6 +2,7 @@
 name = "cozoserver"
 version = "0.1.0"
 edition = "2021"
+license = "MPL-2.0"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
diff --git a/cozoserver/src/main.rs b/cozoserver/src/main.rs
index 0e08f42e..91d7bfa1 100644
--- a/cozoserver/src/main.rs
+++ b/cozoserver/src/main.rs
@@ -1,5 +1,9 @@
 /*
- * Copyright 2022, The Cozo Project Authors. Licensed under MPL-2.0.
+ * Copyright 2022, The Cozo Project Authors.
+ *
+ * This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+ * If a copy of the MPL was not distributed with this file,
+ * You can obtain one at https://mozilla.org/MPL/2.0/.
  */
 
 use std::fmt::Debug;