 A much more straightforward example, this time considering several connectives at once. Suppose we ask whether one can conservatively add to intuitionistic logic three binary connectives #1, #2, #3, satisfying for all φ, ψ: