diff --git a/README.md b/README.md
index 02cac830..9cfccec3 100644
--- a/README.md
+++ b/README.md
@@ -14,7 +14,7 @@ We employ two different types of specification for function verification: functi
 |------------|--------------------------------------------------------------------------------------------------------------------------|-------------|----------|
 | `wadMul`   | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
 | `wadMulUp` | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
-
+| `log2    ` | [solady/src/utils/FixedPointMathLib.sol](https://github.com/Vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol) | No          | Yes      |
 
 ## Repository Structure
 
@@ -28,4 +28,4 @@ The recommended way of executing the verification script is to log the output tr
 
 ```bash
 time bash test/run-kevm.sh 2>&1 | tee log.out
-```
\ No newline at end of file
+```