Berman and Hartmanis conjecture--settled by Mahaney