No more PA
Proper spaces