postdifferentni's Space