Codex entry: Irving's Mistake