math logic readme