diff --git a/examples/trees.rs b/examples/trees.rs
new file mode 100644
index 0000000..509c26d
--- /dev/null
+++ b/examples/trees.rs
@@ -0,0 +1,24 @@
+use radn::{
+    flow::binary::{
+        balancing::BalancedTrees, bound::BoundTrees, BinaryTreesEmpty, BinaryTreesMutable,
+    },
+    mrds::trees::heighted::Trees,
+};
+
+fn main() {
+    let trees = BoundTrees::new(BalancedTrees::new(Trees::new()));
+    let mut tree = trees.empty();
+    for i in [
+        8, 3, 10, 17, 0, 13, 6, 1, 11, 5, 4, 7, 18, 14, 15, 9, 2, 19, 16, 12,
+    ] {
+        tree = trees.clone().add_tree(tree, i);
+        println!("{}", tree.as_ref());
+    }
+    for i in [
+        2, 9, 4, 7, 8, 10, 17, 1, 13, 15, 18, 12, 5, 0, 3, 6, 16, 19, 14, 11,
+    ] {
+        tree = trees.clone().remove(tree, i);
+        println!("{}", tree.as_ref());
+    }
+    assert!(false);
+}