בן-צבי רוצה לפטר את חגי מטר, בן-גוריון את ישראל אלדד