Describir: Science-Driven Mathematical Explanation.