Not all software engineers are equal. For example, a web developer wouldn't need to know about logic controllers, an important aspect of formal verification and

Not all software engineers are equal. For example, a web developer wouldn't need to know about logic controllers, an important aspect of formal verification and analysis. They also wouldn't need to know much about scalability or documentation, not yet anyways. Many of us here absorb knowledge like a sponge, and learning stuff not directly relevant to what I am focused on "right now" is a distraction.