Text this: Model Checking Lower Bounds for Simple Graphs