Describir: Motivating Reductionism about Sets.