update : add some declaration about mahfel