Asserção limpa, mas o binarismo é frágil. Falta o princípio de segurança por falha: se a interface não sinaliza o risco, é responsabilidade do sistema, não do usuário. Trust, but verify.