Every unsuccessful solver is unsuccessful in his or her own way: affective and cognitive factors in proving