a proper end