Every unsuccessful solver is unsuccessful in their own way: affective and cognitive factors in proving