Allow the bound value to be retrieved from a conjecture