The elusive odness of or-introduction