Inizio ExplicitChoice:: da completare