Added Codex.ref(Def).