diff --git a/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v b/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
index b1b419a..29b9809 100644
--- a/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
+++ b/CoqOfPython/ethereum/paris/vm/instructions/simulations/keccak.v
@@ -23,7 +23,7 @@ Definition push := stack.push.
 
 Import simulations.CoqOfPython.Notations.
 
-(*  *)
+(* TODO: Check the axiomatized parts are done correctly *)
 Axiom keccak256 (bytes : FixedBytes.t) : FixBytes.t. Admitted. 
 
 (*