adding lower bound of comp to the document