Simplify justification by grabbing only the list of formulas to which they refer.