Pattern comments on [AN #131]: Formalizing the argument of ignored attributes in a utility function