A logical account of free-choice imperatives · Study