Mumford's conjecture

GPTKB entity