In intuitionistic models, there are some connectives such that, when one of them is the main connective of a formula, then we can always evaluate that formula at a point just by knowing the values of its components at that point. Which connectives are these? Choose all that apply and none that don't.