ExtendsProof Test