diff --git a/students/Schwarz_Isaac.md b/students/Schwarz_Isaac.md
new file mode 100644
index 0000000..8b13789
--- /dev/null
+++ b/students/Schwarz_Isaac.md
@@ -0,0 +1 @@
+
diff --git a/tlapaper.md b/tlapaper.md
new file mode 100644
index 0000000..464debc
--- /dev/null
+++ b/tlapaper.md
@@ -0,0 +1,11 @@
+# Title
+What Good Is Temporal Logic?
+
+# Venue
+Information Processing 83, R. E. A. Mason, ed., Elsevier Publishers (1983), 657-668
+
+# Number of Pages
+The paper is 11 pages
+
+# Link to paper online
+https://lamport.azurewebsites.net/pubs/what-good.pdf