diff --git a/lib/methwhy.g b/lib/methwhy.g
index 9cff6fdb2a..27cc529ffe 100644
--- a/lib/methwhy.g
+++ b/lib/methwhy.g
@@ -285,6 +285,31 @@ end);
 ##  <Example><![CDATA[
 ##  gap> ShowImpliedFilters(IsNilpotentGroup);
 ##  Implies:
+##     IsListOrCollection
+##     IsCollection
+##     IsDuplicateFree
+##     IsExtLElement
+##     CategoryCollections(IsExtLElement)
+##     IsExtRElement
+##     CategoryCollections(IsExtRElement)
+##     CategoryCollections(IsMultiplicativeElement)
+##     CategoryCollections(IsMultiplicativeElementWithOne)
+##     CategoryCollections(IsMultiplicativeElementWithInverse)
+##     IsGeneralizedDomain
+##     IsMagma
+##     IsMagmaWithOne
+##     IsMagmaWithInversesIfNonzero
+##     IsMagmaWithInverses
+##     IsAssociative
+##     HasMultiplicativeNeutralElement
+##     IsGeneratorsOfSemigroup
+##     IsSimpleSemigroup
+##     IsRegularSemigroup
+##     IsInverseSemigroup
+##     IsCompletelyRegularSemigroup
+##     IsGroupAsSemigroup
+##     IsMonoidAsSemigroup
+##     IsOrthodoxSemigroup
 ##     IsSupersolvableGroup
 ##     IsSolvableGroup
 ##     IsNilpotentByFinite