Concrete Examples Beat Abstractions: A Rewrite That Adds Real-World…