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.

Improbable Research