diff --git a/argus/src/lib.rs b/argus/src/lib.rs
index 7d12d9a..6325607 100644
--- a/argus/src/lib.rs
+++ b/argus/src/lib.rs
@@ -1,14 +1,5 @@
-pub fn add(left: usize, right: usize) -> usize {
-    left + right
-}
-
-#[cfg(test)]
-mod tests {
-    use super::*;
-
-    #[test]
-    fn it_works() {
-        let result = add(2, 2);
-        assert_eq!(result, 4);
-    }
+pub mod prelude {
+    pub use argus_core::prelude::*;
+    pub use argus_parser::parse_str;
+    pub use argus_semantics::{BooleanSemantics, QuantitativeSemantics, Trace};
 }