amuha icyizere kiraza amasinde bigatuma atarinda igihugu cye woodin is a managing editor of the journal of mathematical logic however their marriage ended in divorce