From 78eca2e3e4ce430b004bd341dd9091e5f5799362 Mon Sep 17 00:00:00 2001
From: Claydough6 <33795853+Claydough6@users.noreply.github.com>
Date: Tue, 4 May 2021 22:57:55 -0400
Subject: [PATCH] Update README.md

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index e1450d9..7be4619 100644
--- a/README.md
+++ b/README.md
@@ -39,3 +39,8 @@ How to use the application:
   -  this only works for clauses that aren't linked to others
   -  click the premise again to unlink it 
   -  click a different premise to change which is linked
+
+10. To check derivations, click the 'Verify Resolution' button.
+  -  this will check each premise, the conclusion, and the resolution steps
+  -  any errors will be displayed in the error window
+  -  if the derivation is successful the labels will change to 'valid!'