proofLocation() no longer exported