mulling over the proof Synonym