Fixed XML syntax error in Proof of Non Existence