(assert bvor)