So what is the correct approach here? The documentation seems to use both $Children and Children interchangeably. See the next section (Modulus and MultipleOf) for example.