@@ -472,7 +472,7 @@ Once the larval stage has passed its functionality will never be used again.
472472As we follow functional programming paradigms, the state of Arvo is considered
473473to be the entire Arvo kernel core currently in operation (whether it be the larval
474474stage or adult stage). Thus when `+poke` is performed, a new core with the
475−updated state it produced, rather than modifying the existing core as would be
475+updated state is produced, rather than modifying the existing core as would be
476476expected to happen in an imperative setting.
477477
478478Thus besides the battery of the Arvo core, we have the [payload](/docs/glossary/payload/) which is as
@@ -491,6 +491,8 @@ follows.
491491 == ::
492492```
493493
494+Let's investigate the state piece by piece.
495+
494496```hoon
495497=/ pit=vase !>(..is) ::
496498```