re ruminating on the proof Synonym