Title: On proximity spaces