First-Order Logic with Equicardinality in Random Graphs. - Simi Haber; Tal Hershko; Mostafa Mirabi; Saharon Shelah (CSL, 2025)