A+3-D+Window+to+Algebraic+Reasoning