On Double-Membership Graphs of Models of Anti-Foundation. - Bea Adam-Day; John Howe; Rosario Mennuni (Bull. Symb. Log., 2023)