Verifiable exploits. oracle-based remediation.