@SagivMooly "Write your invariants down"
Interestingly we have started to see this more frequently; one of the benefits of AI is devs using it to write formal specs about how the system is expected to behave, which can then be compared to actual implementation.