( 2234 ) Carl O. Nyborg.