From b510043c1b7cd8cbf521a0e3664209eed0bd4569 Mon Sep 17 00:00:00 2001
From: Isaac Schwarz <88521585+shantz14@users.noreply.github.com>
Date: Mon, 2 Feb 2026 16:13:37 -0700
Subject: [PATCH 1/2] Create Schwarz_Isaac.md

---
 students/Schwarz_Isaac.md | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 students/Schwarz_Isaac.md

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 @@
+

From 4333903797a470b36aff630b8a3d5fbed635e3c5 Mon Sep 17 00:00:00 2001
From: Isaac Schwarz <88521585+shantz14@users.noreply.github.com>
Date: Thu, 5 Feb 2026 14:32:19 -0700
Subject: [PATCH 2/2] Create tlapaper.md

---
 tlapaper.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tlapaper.md

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