How accurate are the leak detection methods used by B. Carlson?