A tudósok, különösen a zsenik gyakran eltérően viselkednek, mint a hétköznapi emberek. Teljes mértékben belemerülnek a számításaiba vagy a kísérleteikbe, nem vesznek észre semmit a környéken, és nem gondolnak olyan szeretteikre, akik aggódnak rájuk. Ethan, Ann és Andrea nyomozók Harold nevû hiányzó matematikát vizsgálnak. Rokonok és kollégák jelentették eltűnését. Nem jött haza és nem volt munkahelyén, a tudós valahol eltűnt az út mentén. Talán gondolkodva rossz irányba fordult és ismeretlen irányba hajtott, de van olyan változat, hogy ellophatják. Meg kell dolgozni az összes verziót a Proof pillanatában, és meg kell találni a hiányzó matematikát.