Why Attendance and State Formulas Matter