Example: CED bound to 1GHM