They sell Mathematica, see https://news.ycombinator.com/item?id=38934226 for more commentary about it