Ravi Sethi is one of the principal authors of the Dragon Book[?].