Also, perhaps we should explain more of the mathematical facts in our library. ;-)