towards implementing a correct resolution of choices