 Indeed, it would be tempting to triumphantly conclude ‘The circle has been modeled as an infinitely sided polygon’. But has the circle been revealed to be an infinitely sided polygon? Have curved lines been replaced by straight lines? Have curved lines (and hence circles) been proven to not exist? A model can succeed without being clear what has been achieved.