Skvělá myšlenka od Françoise. Robustní a kvalitativní softwarové abstrakce jsou o to důležitější pro kód chytrých kontraktů, který je neměnný a na který se každý může spolehnout při sestavování operací.