readme

Author: lengyijun

README.md

@@ -24,11 +24,11 @@ lake exe sim31
 
 [wiki](https://en.wikipedia.org/wiki/Busy_beaver) say 
 
->  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed but not yet verified.
+>  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed **but not yet verified**.
 
 Now it should be modified to 
 
->  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed and verified in lean4.
+>  A 43-state Turing machine has been constructed that halts if, and only if, Goldbach's conjecture is false, and a 27-state machine for that conjecture has been proposed and **verified in lean4**.
 
 ## Note