Formal Verification provides guard rails. Best time to start using tools like @quint_lang is today, not tomorrow