Codex Entry: Irving's Mistake