¿Qué crees que refuerza más la seguridad de Redbelly? - responsabilidad - consenso determinista - verificación formal - finalidad cuasi-instantánea