Analtech. The logical choice.
The company is named Analtech. Their slogan, displayed on their web site, is “Welcome to Analtech. The logical choice.”
We would be interested in hearing from a professional logician who can supply a formal mathematical proof of this.