hacky implementation of mcm bv abstraction idea