3 ms·

Please lay off with the pedantry.

• ETH_start 1y ago
  This was educational, not pedantic. Pedantry would be dismissing his argument on the basis of a superficial flaw like this.