Mumford conjecture