Proving section upto xor example