diff --git a/README.md b/README.md
index 6507c622b..ffd5520b0 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ This library consists of:
  * Type-level predicates for refining other types, like `UpperCase`, `Positive`,
    `Greater[_0] And LessEqual[_2]`, or `Length[Greater[_5]]`. There are also higher
    order predicates for combining proper predicates like `And[_, _]`, `Or[_, _]`,
-   `Not[_]`, or `Length[_]`.
+   `Not[_]`, `Forall[_]`, or `Size[_]`.
 
  * A `Predicate` type class that is able to validate a concrete data type (like `Double`)
    against a type-level predicate (like `Positive`).