A double exponential lower bound for degree-compatible Grobner bases | lit.salon