2 ms·Solve real world problem in a formal way, not ad-hoc.by revskill 2y agoSolve real world problem in a formal way, not ad-hoc.