Defending mathematical realism