Call out to sec. 5 in sec. 2

original commit: db9efa61aa1c669485535911f2dafee0795c66b3

pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/begin.scrbl

@@ -114,6 +114,10 @@ process of elimination we can determine that @racket[t] must be a
 @racket[node].  Therefore, we can use accessors such as
 @racket[node-left] and @racket[node-right] with @racket[t] as input.
 
+The process by which Typed Racket type-checks the bodies of the
+@racket[cond] clauses, using information from the predicate checks,
+is called @tech{occurrence typing} and is described in detail in
+@Secref["occurrence-typing"].
 
 @section{Type Errors}
 

pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/occurrence.scrbl

@@ -7,7 +7,7 @@
 @(define the-eval (make-base-eval))
 @(the-eval '(require typed/racket))
 
-@title[#:tag "occurrence"]{Occurrence Typing}
+@title[#:tag "occurrence-typing"]{Occurrence Typing}
 
 @section{Basic Occurrence Typing}