Title: Imperfectly proper