“…Hence for second-countable Hausdor↵ étale groupoids, all three notions agree (see also [52,Proposition 3.6]). However, there are examples of ample groupoids that are e↵ective but not topologically principal (see [10,Example 6.4], or [59,Section 6.2] for examples that are minimal, in the sense that r(G x ) is dense in G (0) for every x 2 G (0) ), and examples of second-countable non-Hausdor↵ groupoids that are étale and topologically principal but not e↵ective (see [16,Section 5.1]). The construction in [59,Proposition 6.11], but with the finite alphabet X replaced by an infinite one, yields a topologically free minimal ample groupoid that is neither e↵ective (by [59, Proposition 6.1]) nor topologically principal.…”