AZHey, thank you! I've added a Valid State tutorial to my to-do list.Reply·Article·Feb 20, 2025·First steps with Certora Formal Verification: Catching a Real Bug with a Universal 5-Line Rule