Practice has a logic which is not that of the logician.