WolframAlpha computational knowledge AI
1000dem/500ltl