A proper space. @double0negative