Fixed inject/raise.
Fixed xor proof.