WolframAlpha computational knowledge AI
solve t = A+(1-A-B)*t for t