2 ms·Agreed. But it doesn't need Andrej Bauer to point it out to us.by tome 10y agoAgreed. But it doesn't need Andrej Bauer to point it out to us.