Implements BV fully.