Information theory written in mathgrove theory description language.