binary inverse proofs