Yep, it's hard to grasp for engineers, this kind of thing requires training in formal logics to get started with. I think things will not make much sense until

Yep, it's hard to grasp for engineers, this kind of thing requires training in formal logics to get started with. I think things will not make much sense until one gets that the type system can be a formal system equivalent to logic