Including theory in practice: Why Cardano expects a bright future