proof, tech, overview