"inferring existence"

“It is a curious feature of logic that statements which refer to the whole of a class do not actually […]