% Wrapper for backwards compatibility

\RequirePackage{bussproofs-extra}
\PackageWarning{bussproofs-extra}{You've loaded bussproofs with
  bpextra, but you should use bussproofs-extra instead}