<!-- markdownlint-disable MD041 -->

As shown in the previous example, `default` is helpful for handling undefined
values. Handling undefined values is not just important for callers, but also
within policies themselves.

The `default` keyword with functions provides a convenient way to set a base
case that is overridden when conditions are met.
