Tekstiviesti: The autonomy of mathematical knowledge