Comment by logtrees

Is it known that there are fewer than infinity tools?