Links for bnlemma