Simplify ChoiceResolution writing + formatting
Update example