wip/higgsbounds
