math-proof ml mattam@gentoo.org