@41995660 A thought occurred to me upon reading: swap out the Dept of Education wholesale for HUAC, taking up the former's offices. Seems fitting.