WolframAlpha computational knowledge AI
inf = 2 * inf = 3 * inf