Describir: Mathematical Explanation in Computer Science.