Keith J. Devlin hasn't published anything yet.