Lower bounds are really hard.