diff --git a/main.rkt b/main.rkt
index de06561..8c2b0a6 100644
--- a/main.rkt
+++ b/main.rkt
@@ -20,6 +20,11 @@
   (any/c . -> . boolean?)
   (symbol? x)) 
 
+(define+provide+safe (txexpr-tags? x)
+  (any/c . -> . boolean?)
+  (and (list? x) (andmap txexpr-tag? x)))
+
+
 (define+provide+safe (txexpr-attr? x)
   (any/c . -> . boolean?)
   (match x