stub for data structures and extendProof logic