@@ -268,14 +268,18 @@ efficient conversion for when the heavier node is needed.
268268 [fil=(unit item) dir=(map @ta $)]
269269```
270270
271−#### `++case:clay`, specifying a commit
271+#### `$case`, specifying a commit
272272
273273```hoon
274− ++ case :: ship desk case spur
275− $% [%da p=@da] :: date
276− [%tas p=@tas] :: label
277− [%ud p=@ud] :: number
278− == ::
274++$ case
275+ $% :: %da: date
276+ :: %tas: label
277+ :: %ud: sequence
278+ ::
279+ [%da p=@da]
280+ [%tas p=@tas]
281+ [%ud p=@ud]
282+ ==
279283```
280284
281285A commit can be referred to in three ways: `%da` refers to the commit