nonelementaryer's Space