\(\newenvironment{bprooftree}{\begin{prooftree}}{\end{prooftree}}\)