diff --git a/server/src/wordCompletion.ts b/server/src/wordCompletion.ts
index 9d13248827868ffcb4e1d3e9d5aecd8c743f5563..b7244fbb351aa45fdc18184ee6e9aaa778989f8f 100644
--- a/server/src/wordCompletion.ts
+++ b/server/src/wordCompletion.ts
@@ -130,10 +130,6 @@ function completionCommon() : CompletionItem[] {
 			label: 'ASSERTIONS',
 			kind: CompletionItemKind.Text,
 		},
-		{
-			label: 'INITIALIZATION',
-			kind: CompletionItemKind.Text,
-		},
 		{
 			label: 'OPERATIONS',
 			kind: CompletionItemKind.Text,
@@ -1166,10 +1162,6 @@ function completionCommon() : CompletionItem[] {
 			label:'ASSERT',
 			kind:CompletionItemKind.Text,
 		},
-		{
-			label:'VARIABLES',
-			kind:CompletionItemKind.Text,
-		},
 		{
 			label:'ABSTRACT_VARIABLES',
 			kind:CompletionItemKind.Text,
@@ -1444,22 +1436,6 @@ function completionEventB() : CompletionItem[] {
 			label: 'VARIABLES',
 			kind: CompletionItemKind.Text,
 		},
-		{
-			label: 'INVARIANT',
-			kind: CompletionItemKind.Text,
-		},
-		{
-			label: 'EVENTS',
-			kind: CompletionItemKind.Text,
-		},
-		{
-			label: 'Event',
-			kind: CompletionItemKind.Text,
-		},
-		{
-			label: 'Initialisation',
-			kind: CompletionItemKind.Text,
-		},
 		{
 			label: 'where',
 			kind: CompletionItemKind.Text,