On Theory for BART