Binary Proof Release Date