Many Wolfram language algorithms are proprietary right?