[rhelz]

Yet one more amazing thing that Dr. Vaughan Pratt invented. Its depressing how big of a gap there is between the top computer scientists and everybody else.