Initialization and Choice Function Fixed