The Autonomy of Mathematical Knowledge by Curtis Franks