clarify top bound and how it feeds into rep range check (#512)

clarify top bound and how it feeds into rep range check (#512) #1099