Text this: Deterministic model for objectifying the students' proving process in Discrete Mathematics.