(a <=> b) <=/=> [(b => TRUE) <=> a]
This is a critique of honor societies which do not serve a point in proving someone’s “honor”. The college requirement is essentially: Join this club to prove you have joined this club. Anyone can join an “honor” society without demonstrating anything related to honor, meaning:
([Joining an honor society] => TRUE) <=> [Being allowed to join college]
Being allowed to drive a car implies having a license and having a license implies being allowed to drive a car. Neither of these implies TRUE - in an ideal world at least.
By the way, TRUE is a tautology because it is always true, which is the definition of a tautology. Unnecessary repetition is not a requirement of a tautology.
Oh, I thought you meant physically unable (for some time) - meaning they’d have to upgrade their router hardware or something which would take a couple of weeks/months.
But yes, right now the US is unable to implement a firewall. Though with the current Supreme Court it might as well decide tomorrow that free speech doesn’t extend to communication via electrons or something.