Tweak syntax

Author: aleffert

README.md

@@ -32,11 +32,11 @@ Those of you who are still reading might have a question. How on Earth do we kno
 
 There are two different directions from which we can approach a proof.
 
-1. Argument from observation***
++ Argument from observation***
 
 It so happens that the only way to verify the output of a REDUCT interpreter is to declare an additional input/output pair, which by definition the program will evaluate correctly. Thus, for all observable answers, this REDUCT program matches the factorial function. QED
 
-2. Argument from definition***
++ Argument from definition***
 It passes the tests. The rest of the behavior is inferred correctly.