Text this: Fine-Grained Complexity of Safety Verification.