add Mathematical Pragmatism; implement Ed. note; etc.