WolframAlpha computational knowledge AI
proper velocity for 0.4 c