add veryhighz/nbf.tex