Pete's Log: Log Entry 15 Entry #15, Fri, February 19, 1999 (School) (posted when I was 20 years old.) Went to a lecture on Partial Typing... a network theory of trust versus verification, and combining the two.