Title: Gludman's Proof