Information theory written in prototype of mathgrove theory description language.