CR 16: Lower Bounds Methods