It is very fluffy, but the idea of using formal methods works. It just never settles down… the workflow keeps improving and changing. You don’t need stable tools

Imagination? More like hallucination - the AI-generated kind.