You then write implementations that help you verif...
# announcements
f
You then write implementations that help you verify behaviour. Pragmatically. Whatever is easiest to maintain that still helps you verify.