working on bounding theorems