Оба варианта возможны. Выбор каждого из них может иметь несколько обоснований: смысловых, грамматических, стилистических. Например, ждали некое абстрактное чудо, но его не произошло: чуда не случилось. В другой ситуации не дождались конкретного позитивного результата: чудо не случилось. Гипотетическое рассуждение в рамках «если» допускает, как представляется, абстрактное и конкретное понимание чуда.
Последние ответы справочной службы
Тире в указанной позиции действительно нужно поставить, чтобы закрыть пояснительную конструкцию, внутри которой есть придаточное предложение. Кроме того, в предложении не требуется запятая между присоединительным союзом и в начале предложения и вводным словом конечно. Что касается числа сказуемого при подлежащем — относительном местоимении кто, то здесь возможны варианты, см. ответ на вопрос № 328259.
Страница ответаВы написали эти слова правильно.
Страница ответаВерно: мичу́ринец (ударение именно на втором слоге).
Страница ответа