The testing trade's word, borrowed by this book: a source of truth outside the thing being judged, which pronounces an answer right or wrong. A test suite is a strong oracle; a compiler is a crude but incorruptible one; the model that did the work is a poor oracle for that work. A loop is exactly as trustworthy as its oracle (Chapters 4 and 13).