Part 2: Making the "unproven" "proven"