Email Record: The autonomy of mathematical knowledge :