Need help on some measurement on the Barbed Hierodule