" Du mins ",