Turning programmers into mathematicians and mathematicians into programmers.