We don't just make music, we create memories.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
I don't count my sit-ups. I only start counting when it starts hurting.