Janet Clarkson Davis and Alan Selzer at Michigan