Why Cardano does not need slashing

The Cardano main-net (Shelley era) has been launched in the middle of the year 2020 and so far it runs reliably and without any issues. There is a lot of scientific work behind Ouroboros Proof-of-Stake consensus and the practice shows that theoretical assumptions seem to be correct. People are asking why Ouroboros does not need to punish dishonest participants. Let’s try to answer the question.