4Developers 2021: Jak odbudować stracone zaufanie? Kontrola, obietnice i OpenJML — Michał Borkowski