diff --git a/src/SecExp/authorityReport.tw b/src/SecExp/authorityReport.tw
new file mode 100644
index 0000000000000000000000000000000000000000..b17fb55504cde876f8497c9614af4db6da19d7ca
--- /dev/null
+++ b/src/SecExp/authorityReport.tw
@@ -0,0 +1,3 @@
+:: authorityReport [nobr]
+
+authority stuff
\ No newline at end of file