MICHAEL DENNIS CHRISTENSEN