files/dougfacts

Doug McIlroy doesn't have an Erdos number; Erdos has a McIlroy number.