diff --git a/CONTRIBUTING.MD b/CONTRIBUTING.MD
index 5432145..e8314d3 100644
--- a/CONTRIBUTING.MD
+++ b/CONTRIBUTING.MD
@@ -28,4 +28,9 @@ What to do
  - Tag merge commit on `master` (`git tag -a v1.0.0 -m "Version 1.0.0"`)
  - `cargo publish`
  - Update web demo & pull server (`make docker`)
- - Update aur package
\ No newline at end of file
+ - Update aur package
+
+Test `default.nix` with
+``sh
+nix-build -E 'let pkgs = import <nixpkgs> { }; in pkgs.callPackage ./default.nix {}'
+``
\ No newline at end of file
diff --git a/TODO.md b/TODO.md
index 4635cb7..d82ea82 100644
--- a/TODO.md
+++ b/TODO.md
@@ -20,6 +20,8 @@
  - Sums and products with functional arguments
  - Add functions: gcd, inverse mod, dice
  - Tuple operations
+ - Number theory: select a group, inverses, etc
+ - Negative mod
 
 ## Prompt
  - Fix terminal color detection