Beyond Cramming: A Conceptual Logic Framework for Mathematics.