Course in Miraclesproof