3 ms·counter-example results are always funby NooneAtAll3 1y agocounter-example results are always fun