This is the insight. Proving "tactical voting is always theoretically possible" sounds bad, until you realize that there exist systems where tactical voting requires not only nearly perfect information about every other voters exact preferences ahead of time, but also solving cryptographically hard problems