beaten one's head against a stone wall