On the notion of proper efficiency