Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic