Binary Hardening