more work on bb multiplication for proofs