afnotes:~# people/robert-karp/