diff --git a/bsip-0040.md b/bsip-0040.md
index 7e738d4..048a49a 100644
--- a/bsip-0040.md
+++ b/bsip-0040.md
@@ -130,12 +130,15 @@ Stateless assert, all argument types. `Argument value` must NOT be equal to any
 Stateless assert. Allows explicit type conversion:
 - `int` type: use as is
 - `string` type: use `length` of string as `argument value`
+- `object` type: use `size` of object as `argument value`
+- `list` type: use `length` of the list as `argument value`
 
 The different asserts read as:
 - `lt`: `Argument value` must be less than `comparative`
 - `le`: `Argument value` must be less than or equal to `comparative`
 - `gt`: `Argument value` must be greater than `comparative`
 - `ge`: `Argument value` must be greater than or equal to `comparative`
+- `eq`: `Argument value` must equal to `comparative`
 
 #### `limit`
 Stateful assert, only `int` type arguments. When the authority is created, `interval_began` is set to `valid_from` from its custom active authority and `max_cumsum` to `0`. Incoming operations are first tried to match all stateless asserts,