👀 Mais dessas discussões falando sobre segurança do mundo real versus propriedades teóricas, por favor!