Problem-solving proof, described at a safe high level.