The ISIS problem and pre-service teachers' ideas about proof