I would guess that bonus is there to try to get an @example not to
span more than one page.Right. On the other hand, it's true enough that the text before an example usually leads into the example. It seems like this is true of any environment. Thus perhaps the \penalty-50 should really be \penalty100 or something. It's not a horrendous break. k
