Codex entry: First Enchanter Irving