deprecated Collection >> contains: