One thing to know: NFLPA files grievance for Hernandez