diff --git a/demo.modal b/arith.modal
similarity index 100%
rename from demo.modal
rename to arith.modal