gwern comments on Magna Alta Doctrina