And we say that their names are by no means fixed; there is no reason why what we call 'circles' might not be called 'straight lines,' and the straight lines 'circles,' and their natures will be none the less fixed despite this exchange of names.