Ender and the exclusion hierarchy