  These points against the autonomy thesis are hardly conclusive. To evaluate it, greater clarity is required on where the boundary between justification and inspiration lies and what exactly it means to say that something falls on one side or the other. And of course we then need to identify more precisely which of the factors in the evolution of mathematics are justificationally operative and which idle. However, even if the autonomy thesis is not true, perhaps it is almost true. And perhaps nothing quite as strong as an autonomy thesis is required to support trumping as opposed to biconditional naturalism.