From de2a2fe0c0b33408bac2cec6a9e06bda6c6d9ac4 Mon Sep 17 00:00:00 2001
From: Kyle West <wes12009@byui.edu>
Date: Wed, 7 Feb 2018 16:57:11 -0700
Subject: [PATCH] [USABILITY] Minor positional adjustments to elements

---
 truthfulness.html | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/truthfulness.html b/truthfulness.html
index 31acd19..58922f1 100644
--- a/truthfulness.html
+++ b/truthfulness.html
@@ -92,14 +92,17 @@
    </head>
    <body>
       <main>
+         <p>
+            Type in an expression, then hit the [Evaluate] button to see the results.
+         </p>
          <form onsubmit="return false;">
-            <input type="text" id="raw-input" value="¬(p ↔ t) ∧ (¬q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)">
+            <input type="text" id="raw-input" value="¬(q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)">
+            <!-- <input type="text" id="raw-input" value="¬(p ↔ t) ∧ (¬q → ¬(r ∨ s))" onkeyup="this.value=interpretSymbols(this.value)"> -->
             <!-- <input type="text" id="raw-input" value="(((p → q) ∧ r) ∨ s) ↔ ¬t" onkeyup="this.value=interpretSymbols(this.value)"> -->
             <input type="submit" onclick="crunch(this)" value="Evaluate">
          </form>
          <br/><br/>
          <div id="raw-results">
-            Type in an expression, then hit the [Evaluate] button to see the results.
          </div>
          <div class="notify">Copied!</div>
          <div class="box-70">
