Don't test, don't try!

Don't test, don't try,
let's make sure we're doing right!!!

Condition testing --> state separation & state sync between components
Exception handling --> static constraints (pre/post condition)