Discrete Math Inference