diff --git a/docs/icicle/introduction.md b/docs/icicle/introduction.md
index 1ff6f5a..360bdb0 100644
--- a/docs/icicle/introduction.md
+++ b/docs/icicle/introduction.md
@@ -235,7 +235,7 @@ If you wish to create your own bindings for a language of your choice we suggest
 
 ### ICICLE Adapters
 
-One of the core ideas behind ICICLE is the idea that developers can gradually accelerate their provers. Many protocols are written using other cryptographic libraries and completely replacing them may be complex and time consuming.
+One of the core ideas behind ICICLE is that developers can gradually accelerate their provers. Many protocols are written using other cryptographic libraries and completely replacing them may be complex and time consuming.
 
 Therefore we offer adapters for various popular libraries, these adapters allow us to convert points and scalars between different formats defined by various libraries. Here is a list: