Software Engineering ≠ Computer Science.

We should stop trying to prove fundamental results in software engineering and accept that the significant advances in this domain will be general guidelines.