Formalizing ignores