diff --git a/README.md b/README.md
index 54af262..08f1ab4 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 ## Aims of this project
 
 - Use Lean to create a exhaustive database of definitions, theorems, proofs and calculations in high energy physics.
+- Make a libary that is easy to use by the high energy physics community.
 - Keep the database up-to date with developments in MathLib4. 
 - Create github workflows of relevence to the high energy physics community.