How are we comfortable arming the IRS but not teachers?