Alxatib, S.; Ivlieva, N. Van Benthem’s Problem, Exhaustification, and Distributivity. SuB 2019, 21, 1-18.