added examples to bv theory so bolector and company may be tested