@@ -205,11 +205,12 @@ urbit, this output:
205205 [%pong %received 'Pong']
206206
207207Most of the code should be straightforward. In `++poke-atom`, the only new thing
208−is the expression `` `@t`tom ``, which is casting the argument `tom` to type
209−`@t`. As we already know, `@t` is the type of "cord" text strings. In Hoon,
210−when types are called using tick marks, they serve as a validator function
211−called a "clam" -- that is, a function whose domain is all nouns, and
212−range is the given type (in this case, `@t`).
208+is the expression `` `@t`tom ``, which is *casting* the argument `tom` to type
209+`@t`. As we already know, `@t` is the type of "cord" (text string). In Hoon,
210+when types are called using tick marks, they serve as a validator function--
211+that is, a function whose domain is all nouns, and range is the given type
212+(in this case, `@t`). When a type is called as a function (`(@t tom)`, for
213+example), it is called a "clam". A clam behaves the same as a cast.
213214
214215In simpler terms, if a clam is passed a value of its own type, it produces that
215216value. Otherwise, it produces the default value (aka the "bunt") of its type.