And if anyone disputes whether something has been deduced or not, we meet him by saying that 'that is what a deduction is'; and if anyone says that what it is to be it has not been deduced we can say that 'Yes it has; for that is what we supposed what it is to be something is.'