Erasing Existentials

3 points | by speckx 5 hours ago