[exdsq]

I completely agree! It's sparked an interest in formal methods and learning more about how engineering takes place in other disciplines to improve their product quality.