Filtering for trait Codex equal 842