Seems pretty cool, especially for being free! I'm taking a discrete math course very soon at UT so this is nice.