# Predicates: Standard

Refer to [Terminology](./terminology.md) for information about specific terms.

[[_TOC_]]

## And

The `and` predicate calculates the logical AND of some list of predicates. For
this predicate, a `match` corresponds to `true` and a `miss` corresponds to
`false`.

> Only match if all contained predicates match.

### Case: Empty List

The predicate always misses.

Since there are no predicates, nothing can possibly match.

### Case: Single Predicate

Identiical to that single predicate.

### Case: Multiple Predicates

The logical AND of the predicate results.

## Or

The `or` predicate calculates the logical OR of some list of predicates. For
this predicate, a `match` corresponds to `true` and a `miss` corresponds to
`false`.

> Only match if any contained predicate matches.

### Case: Empty List

The predicate always misses.

Since there are no predicates, nothing can possibly match.

### Case: Single Predicate

Identiical to that single predicate.

### Case: Multiple Predicates

The logical OR of the predicate results.

## True

This predicate always matches.

## False

This predicate always misses.